SQLite format 3@ .;  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 ] IOA:threads=6elapsed=7.123cpu=31.872gc=1.684factor=4.477zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K aO`m¦ybh: 䊄a"^7vlx<֋ |dȜwMmzuo[sX]7uM9;t#^OE)=◭|{ 1tAO,T8MVu͹%[U |8cFƞl"Uglf[xȼoྐྵ#fv -l YtH;qo¦o CeX^)i*Fq)1[480@pXL::õĮfgYZ7zXZִF! `z]ŗXiɟdN'LvH۹Vf+yט< h51/QAϒѮTҩrKg˜hw6=vݞ.\msUK}fZ{RW˨.0Grps$0|VElw0bSwk-NZ1f\Y (m*JI`Ft+! ^f]̍$˭&UhW,&ꭍeQϋ*Z<qDhLb)_b-6k3^pɨ^CKۼosn;vT @"rܿ[+BP% A 7>Dkrs4'AB3%|d'W~_@fh_` ,gYZ7zXZִF! &.]ŗXi%Jϳ * @g#qln (.ܶ%pc}J>SG<>}2u:ѼoL%Ws VB)=Mqˤ:7T8[0:-y/1G߀<_ɿ|J~f2)?Aq7Ro “$Wh!?62J]1b~kͭ}q*v[rEfNf)DCTHpɠQ|>B# ٿ (J; ðTvd!uzRD] r5nEMGÁNOX‡h \BnCIC X9\-eOQ.'",iʭoЖ!)O% RvN!vTY〃ϱi;JINu_~'5+R fZ[:l;A Iۓ4Amug]"on9#Pz7ތ&@}k Pxu2 8D +=3P`_b&.Wv&rt[k&nݖpJiWG{VzaoJ!W !XO .׍Ҝk{-24ndTNAڪ|8lu/m;g&pS[%%MhOkF$\9i?'\B&rs~س}GwHrE$M]<*'5T`%[m%b >ߞVOc:sڤG|Q\luXMl3Fq}S櫛-sQc7inHzP u49