SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 * D  ]]]ZF:threads=6elapsed=13.513cpu=47.948gc=3.312factor=3.557zXZִF! C]ŗXf1-) enȈA"tr-j. ZbNVHD l˼TSwWSQq`%S&1Qi ZU;u Dljp̮>RtHx;_Ri>.ϐ',Y {?Rl.Oe0YzF1"2Ն<&M= #Ь8i @hVcqŒiaylT6BJ̎.ydQ=S?D5lbC x.M='7ԽK0%{0Cg)n6Bضl+g!ȅ؃]WX\Ǒ\i8s~|} <ڢbo6 mh;;)piK764a4+Et )l% =k'B!y"ԖRgj$]mn+1x{̢:BVU,R-VˀOxFAc,NZ?%~t%vq7(33qt%F-9ڹN=cL#kGCw~^6ZB>XSZEV&׉1ϒF6=f=[i4ťHB# cgYZ7zXZִF! @]ŗXi%@j (uarᔀll|W 9d1\& 4` tZj['[Mks#VnQ#}Lpð;5.w@MIc֮E$א)rz_}OEMF ;oh%ρA,>M94ɉ)Kpoĥ΀`tz&]; 4UDnF7۽=?eu[jAϙrXtG FP5joZm~&[j]H f{wBMq$H@WQi1Vwe7:-/lP$%hR|}G&ݥ*Zu`ΐCdLe_ ¶&1orT05%VelyfpUK[=I`e"5z.ߨ.L 4ows>lr^k_o( xMe;9P '$G+(["nW3Cs=`z,EN-8$"Vu`ϥOMBLR> v ⚳~e6)Oo< Uѫt |%M`l,q޻c{@q^ ))jq!LV[yQG ޱ T7Ah<ؠ֚)[ĢMCkD Ბڙr+;I*Uu("fhS5ߊ:1IWӲ+HP=}^[)!0&'xm~c=&,G ߁D_gYZe617c4c020c3123c26fe695c9639b2daa90c51686450dc2aa913771fa0159410165f3f6e6149c48084ce00ede41cfbf036c35df63a3e8cbab0522723  ZF