SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info x% dt II Stern_Brocot:threads=2elapsed=32.603cpu=53.168gc=3.632factor=1.637zXZִF! 8]ŗXf1-/6vR[]ׇvb1߁ݶ+4 uUq7(~iO&`mu9l+ S$oҢjJA cK^.9^lw0Vpܐt`2:tZ 8g$眛[vQY }^,-4z. мՅY2ڱ/j*w}\ЮeD[OQQ_ O쾍Ћ[|!d-%Eug;1/)?\CH5[[E&5urU:SIPq[wo1.2n9\?m&G9#ښʘEFgzx oz$yOq:0[|~ٓރE[ta)[??=h"+m%9R|Am!¡$v){Og濓.}I]W;zP$!"Tx S6LoV77 (F1PI߯=}HZ?/+D.^aVl֤pQ0b]AŁú2tockDRjcxx9v詐4d&'o Fr!JtF<!T&(XxئF StTBYKM*ɞJ>Nؾ|1eKT8kV-QQ^X giRP<Ŀ8l=EFu9NΔkr7>YޒiWV*gfn:"[h2)1iLċ𑠭jvX- -HOG޶ &( 8,2Չ}$ xs?(s |i%Yla:T↵ҺOa3~0WqF}R]C.I P#ƻ&UhX|oQ< 9ƍA J.ӽk vLP ƨF5l"H_@EP.s#xk~FngQv&cU9P;',5'{˅dRI'4@l:b<6j"0{!-s3 ds5ir4Sg``-(.)X$ "B;#u&m}aݶg9K9੩[29~5?jĮK!ҍ#u.չ߮FGF{ ^^bu 7ԭLmsF98Awv* #!u*Nfzݭ髢G|k.J0C՚p"}6:1ۅq²jSXEIŋN5"dnnc92C~:Õ{SffG? oa)UgM:T0:P3O K}"1 $#ҧ},ܭ#aWjO@ORė5TnJ$,nybAYqX_Q-yZ5|2ۼRN^qgo0 ŷ'7{>!t"n`OPĠ-&*