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  d4| ]/ FinFun:threads=4elapsed=6.576cpu=12.504gc=0.336factor=1.907zXZִF!  ,]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(po!80c'RY1ܙS5Y7%m&&bͷ_ vFM#ka}M'1ةt_*>0WCti"g@;bp$Eځʝ7 X &_"W bl~9̘?k?oQu:t% < A#Jj!y8wLR| oe:`#4 16gYZ7zXZִF!  ]ŗXiɟ1˦r*6ѷuVBm+Cz#!5c_.g4`(>o1ޙavrdd9 %᜗O0"SpoޠWڥO.45H3fڗx++=*A6WJ |8ǚc%TUK (Nu4/ Kd/@ĒfRpcm{dƟ;?r ގ&ـ55˜­"9=!*[a-Kфˇ錉L? |[#dVi?6 .KEMkAR+C*c:?fF#77cZJÝZne6*Er𖟣(n7ce6%s}#jF2UR&{ "Mó[KbӇ>AY \L]2fJ+G2ڡ%UlAEySev^N2ç3*mo@M"HA1seFu.Ǒ?;lTm4IqHOF3dم$~eN ic Tay7 in]Zofls[wSS$T^>\% G1;VAj;Ǣ&bFPB 1Fr6O7>'g\FuUV%d2uiklƁIe~Z'WUUȂaES#E95LE+!lQۢecamwߵt>j"M5`y}S{|ۍ ? Vhf*G[D\ogYY+yzaJ7~Lqi@5#N0P-1HbnsjyL藁E]xa ()Nt!l'0 y⃠gYZ07502c05fa50c9afcb2c4265f981a3793fd3941a78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59   FinFun