SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 d) \ T ]/ FunWithTilings:threads=2elapsed=33.990cpu=36.924gc=0.228factor=1.097zXZִF! w]ŗXf1-/6vRZ#q$-RR s(|CdGpF.eAqb3@t-jj6EZ #Ʀ7UhU'}?W0ɕWn6@soy+ _@WVI*X\E b3Reδ8 I oĶmeGuTt?݈WCM%U jrgYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`&n6T`#ZA} 2F _Kl}YZ7zXZִF! =]ŗXi%W~лڢ#Nc}W؁2ZH<3{ES +k0Wbl!XqX adY/V)lS {iv6&遫.' >ۗCsCMVqӋ>wMCd_Q4X {[B=3Yr/JOst+r#G2/^{|`>&U[sN@0PL^tjN:H酕!:.MX~OZ 7Jk$?/ȀA]PW >'.ʅ[5<^y?ySHZԿoB?Sxlӻs(Bx21EV.? 2}! <+7Pf5/!Tm0 ^@ +iq)aP~PPz l/%ڴ>c=ʉk\5?N.\6#ag^ؤ nDna!Qy65(NôKo WЭ{jk HL,V&`^u9(̈́ qy:3Jsxe/a; x|ak⌹sX;8FpJt2[?Y9>qwsth il-2XXEp]j3F'N$vS=FIZ?fB+4bg#R\?H q&IsC7{}VEG[4ܲ. ^3Y_N?p%kC)Q/Y P@Y4aK@%+%N).<{\_o'jbVbh 4R7,)|@A5}{srBbS9A i&rT: Fj( :p`|R Ytϱ4m66w.ցf49%ZJ@m叚+3n&th3,D$~vh9zoqzsJD_fƓ vuv$ɵo.: r='-&ooxT?-hmRl 78qGq`^ɎZj4"Qy0@x:DlD+uaf)^l jH ; \L5jy"A/&?Y;OxW[9^UnhUrU,V5C&cgb`f'0[L$X܈)3XN|_PG=`e ݠ.f ?PW\NtZ`59!(̾'F-E(n!5kE;\FjS бQ`-/3@n܄U>'E^s |=J r,7Q"V=++0v \:'PvvA\J"+'SB٦ .Vqmg1=F&,n W!BلۤW~:o ⴎp]\%%E!;'O8u5<\l1PS A\D{ STLgYZ7be9c9e20b06749a34a228875ae94e6e49d6639ed6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e ) FunWithTilings