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 L/ $, ]S Old_Datatype_Show:threads=4elapsed=9.803cpu=11.776gc=0.280factor=1.207zXZִF! ]ŗXf[&QͫnaʵP$xE@E={Y@/kwOpx"I70 a[(S *M8;`&'FGkAfoAN$.ٮvtx Z3nTUMUƾ Kw7M y{OOeyE +B[J`dgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx͹ޜB&jܒ%hw " aȮq Q5ٛgum!f'V0X+ \+7w*tLXx/`.Ms42aq-igYZ7zXZִF! 7]ŗXi%G>xKP=|Y@5EWoR^ޘ.;Qz,{k-qR RB8}~R<:Y -`]^r7k>GV01AJݡ;ue }Zy+=/Ѩka섛n(K~ RZ[.V$j rͮ#FUO4J}Ĩ57 d}} إppFK*Ȃ~2]޶$ջ%yaz> E Sptr5>ZH_ LaRm7BڙÐlro,l597LS8HY&'wћ gRQPooL伬q Q(rX5*;bLNFk)Ψ,VuD:#`_/_ڳ=$ϟވ a1VR^-[i}tfҋd ^} ?Ӵ/'݋]o*u 4bߜaYJw F`0=K8g +w"9' Hu65lo?6 #*r&I<G*c=JLÑ3W-r|G9hÝu}R0|*cnBA8.4Yr浭S+>umȈ/``W}JӲgg.2=2HoM߈ bN1ryޣlŏޔ@irƟ[XvV/Xl;6]='j1en!5gYZb59a60bf04ef0c21a5de8bbf372c395486295bb54e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 a04e43280c81a362febdaf2d06dfcacfb53dc883 / Old_Datatype_Show