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 d|| ] IOA:threads=6elapsed=7.177cpu=32.168gc=1.144factor=4.487zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K [UDeFu]GO4˗20yw%$`LiX7lM'>d!l%$6%~Tibdu\럾QޑzopՅSdM<,rڛ `dk؛HN>^`6iVKE^B~?BC_L; 0pKkH(6Eџ {w^$t%h}LvB Cx4󜘒,9P)/82>6|yuܝXO%̡K;ߩj.g!W_emu)JszCN,JTд!r(G{ rk{' f 7"<=]jP=/pc>Jc0&=hFA>jn&&uȊh/3CgYZ7zXZִF! `w]ŗXiɟdN'LvH۹մQ2Ǣ^ -a8Edaݬ!@$wy 0U\WAl,=Νrn^TFVEDmDKy!,OKeV'Bzi4D̵јEd)HbHO.v )8JJU^!$g7!hjkGԐ1y_#\:Q , 3qk''PVb˸5F{z!zVE+FGJ5QWS-ӷ޻p}H= MӺ*@)TxFWxJzZC^%sۧUĮW}MAB+P kiS|gYZ7zXZִF! )8]ŗXi%G]c'.j3mh 'd?F0.o^F"=>ފ)C4c/'5$ ^%:zdQ՚P'ܷijI03`HQD4yΙ;7hшdVhGq}תʉx 7j 8%>ci8D۫#gKEQ|)qLjE )}2.Yo{чW,%ϊkj|U㿄L߀q4e8,}un_h68jr_3Tۺ7aL_&wdzyԙ^R]UrZTdOFYVt=Iǹ 6m5 aM2LJC!<ԘլoYQȺۓu)h{ihO ˀ=/$lH<̂ulښoU{,54>h-vt ھ[NW/~v4?OhEiǤ-~gWh&̖HQ"86AAA-9)dj^OG&6dW&㌬SƱд!w:XC^aF [=H L3F1v7yXEN1q%$兝''AVB49BIWnnν(~AgV$20zJ8%۾>KP_oNge7ɵGPcd#cDx(ٲ( Ţ729~pJ#pSVˑ8)NJE\s7B:a3MDlR[ZVvE8ۚgqMMTlDr΂Mjn8B搸ս[JaLRWA A{,JM7"XU_!T