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 Q |tl ] IOA:threads=6elapsed=6.973cpu=31.072gc=1.316factor=4.467zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSe֦c~˹DoikJb;pCEQUE'i{CQG/iyk@ƪc9,w|%'*e@{UۯFFDW\|L~ 7q3$7nheJ pXx~T&bC7 N1ӏ]0T bzyBzݴ;۽ݸC3Y x | l_V ֺ,[a"=y5Ҭi[sp}_j!|0LYN2Iq=Âi,橮ǽF2Om%`(J먣GC;(P^O? o# (~ Z4k]TR0l a_-ȥ=Li`}ovgYZ7zXZִF! `r]ŗXiɟdN'LvH۹C<" !LZōZ Gռ!M|s$K3{u M|m;`FK$/T-@\/D&yr"m!٥1%R: j޵ęÐ7ƙt^@:P՛d)lUʳz\ _5g0׺u_w NW$ t_(9#pמNF!=DdV6TvicQOxrdM<4$WyG]Q@^#rЃ?/Fj3l=c띘%gU纬n3b!7NpyzAx %xAU .xñgYZ7zXZִF! )-]ŗXi%G˜%-$=/ֺ̈́N@*SfsAv :S m]7\ Z:mA]Kch05ՙi \?G3nP=fu 2SΌ N 'ϼ9*6pɒVPd%p cݿ=ZC<) l5l R7Zoh"J},9(8o '͉WMm @̻ݮR׻Tڈ8D1TR+hwGSMg+L\ WoDqEʷkM[!J{>wΫ2څ6 ­grP`Rl 1~{YM  t;QCb(622!f9Umz%n,DfNO1"xt?n`"vxeX;xrvQ*+6٣0sWm Hst>Vk FPEH&Tg@tY-錘'3UA7D*ޑSeYwf&kS^gYZf03a2f19e37d7a2a1f07e0e5fe32543a53b4fdc3b051f2261d6f88c03646aa313c73a7379e29a659 7633af7870dcf6daa19ba6bd207628594e3663e7 9ebe4094a7ed476b2573ede7c469714be4efeb9c  IOA