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 e t|D ]]IOA:threads=4elapsed=9.939cpu=34.448gc=0.920factor=3.477zXZִF! 2]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K,ZNy–w֚,m1~-GDwSng]^9F<$R^?Yeή2W \OLM}Dc@> ]Kɟ2ss#dI՛US'QVyov M˛n75,s'Q%M?=hT_P[o~LDy_= 3|Mk'{;na+c5X7,~.Akg;mތbq׳+ыYmk'?oŕseqcm/'JM*߾3fԓA ]WE Ӑ:<$=oêଭKی z$Ϊ1&-q&$om߭k!eZVnXE4"5B[ԕid/z3Ŕ;gӃgznn%v^X5dhƍT{v8&BQ+OmI6cBĿmǥF%~A۷. ^ϋ )ŷ P[Y).ԂwǣeKi-JRd.Yodp!1{.b<͝v0ێEuQ=gGP YVagYZ7zXZִF! 7]ŗXi%B:g t;| LY,a(yW*R9nD.%6H T:ٜ]9K$.id8^Mj=$fkdG<݆RX3zBI_ WlTots'݌m$%;W3 Ac_OJܱwif<2<r+[@_lIV5!W z㮞ږo +`Q5bHr?-AY&zC[%l]ѣ#5Eܤ7^#ӱ={(RJVZBzo_% -3>uGf [ A?(V@(_w>ԱI9=E,ǯ?TTPM85T\c)%)Q}]In9nU*in8)_PHRa&AV.$d`bǽ7Քgg^uo|ǪӰdf %|?vk[w]iNu|֙ZW]]pP@GM|uW$ς?+ ,F3VuQ l â(wa6sVSP؇ms~([BR|U%t|0j8V͞O>W֬}[+a׬̂^mtV2aM>LHkପ`B=\@֫ 'r0w/۠ƠQY(ͻ 5t)-j!x6QTtڐ%l`p?(_34!8IA+rBHvuq&}{lssA)HuL檛Zyل2] 'BOC;*I vfOԿ:iʾt&$V +N,tIhw.w?lD|E}  T7Ӯ{8*\γ6'%[9m+G燎Wa L1!qh*GHMW9JԌ6,i1Ll.z-$-"0ɻQ@'b ,NAc!קmLHΎ6 \&}L=粮LdAR#Fq{OD/An^Fk+kS̍|3"8sFĎ S|w-paUs붌