SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 ]/ FunWithTilings:threads=4elapsed=13.052cpu=41.248gc=0.120factor=3.167zXZִF! ]ŗXf[&-? 4gD6 HƙzSbx U׀Mv*c$o7Uo|3CAvkC} x8iPbaR 6>s/S@gk c 3[)Ml)33DA+Egav<ókh^S_Jt>Iqf9,=H3#IZA&ԛDȤM-zO`,?nrΧ |4 ^}gYZ7zXZִF! JD]ŗXiɟUXvjV*~ ^kmoy`&>3=v,czeǔæUBu='. `KFu}YZ7zXZִF! []ŗXi%B:gxy>b] YNtS2|ւz#&+*YRl` @?; 5I&[ѯEQ9(6̼FfqHiHͣ^y&d\ꓜ|f "0cjQ矫"y2 sBFo8$挊\ɷO[xK<*5j}2>BpA~ ]7eHk6NT^=^9IRIXofG'SlUzn~>=%c ڿm 2{>Eefv[Џ.Uyu-n`=֣/ڤ>}?]m 9>),x3uSN+ߍm1q=]>&eȱ8 ӞvlV.06)I՜ljC~wa2+kOU 8s et^srM]j#9V=lwxѳI-M: Dԥflfe1~ҍN/ZP*P-#@8W콏DݦGaP</\d)|hڧ.wKC\L k$ D~-@ޏjPR(hɖ b<@@ېT NOOSs/r.aLT oQŤm=ӓΜƍKG&2?Dڴ^$dK)xϴOJ܏go9} ̗rl0/dy+6PPo> k[:cw0yw.VX)TC'8F [+V-@,Gؠ3Nz Co!$Z5Jz:I|%hxHQ;RucO.M,ȌPQ{n 4t,ݜ1,"pρx jXj"Q"SbϣVL_vt@(cŏv-Et\=(J #i<)Km `i3LNS,d-@n Y%,5]X$w DAA.Unu(2?W;iu75>UǔO=(<;5B"lm?壝`G45J&>ۤLYW(b2/'u ^nyA]Tﬣc?e8iD._zK֒\G/J~ߓ 1&6#2.XpGoiFw"B똑ҝy bǐ&նD v-yY3s#!6钦+7^B9*M>un)Rb'gr%Dԗ~Tn[q` 'ΟHi3sPjfr~Jl(bu׆e31~ |# ^@!gYZ0c91ae138c51256d68dd758d6e9e3704e9bb561313f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 ) FunWithTilings