SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  UPIpt Y&FTW 0)=Zy4YZ.1yf/q ְUf @#y8|X,; JY~ĔY &E$9 $O˯م ťl4b֪0vvٓqY=:Jbt'o]&hL~..o$ٝ׋ulٰC#L(b^eYoi^I7Jx 8wL䷇G.Uƶ$}JiekTwX%Y3v&%6f7}n§{@qrz92Z$?Ѷxbbg<0^I %l&I~HϕAwJ Zp1v݋z0Yj^gYq< Y4w{pLx]ܧ%C瀝 >=O+^,-\%Gq6}Ɏ(᧕+A;+;X0ԡOL[|;Tإ̃-IVZ.}I`Y28UgYZ7zXZִF! p]ŗXi%6בzWpfܸb+aT2G O(v s?3psv17Zl\!c g"ǰw#rTWI57?M~lerO}0&߈Pb/`141#7l;A[Q|Phz(?R\HX?))k7KYN@`#T`iT;j ZӾgiʧiv0p:mөn dJl/wwfsXEp&?w7[ic"('< !S_>qd"G_LFԇ)%]:-遑a#^W[JG Hn9Ӱfouwi$Ch@bz&jORmwqng^gyaK+,(mQu`fY+gmpK,̈ Fᾶ[ܒ,6YU:X0]牊jvV&rIJ?e\|gQ.Dp "!({߰ SdW`T3GhUWs))f%gr;sh3 -K e3Lʘf2d.$sZIGS4xY7 Sm $ɷ;GGrl<> /V@<IyopP=:zlx)~ͻc?R'Fhg*PsWCk.s1^o}Bo{}¾Rq۲-o)Bm,م ؚ}OޑUOM5?{SmLqZ@wu Y46jhd끑H&5eϠeI?>18!P*䗜&l 33,7$si=V,W(c)_kSr.ךr^*'" ϲ`!SU?džȸviܳ5dیgRW-ϳg<#QRRXNA4(!n+U^1]`B+hkȹ=i4OB [##n-oM$?%i}O火 diTu1 .UO籔2\.gpPNMP<_ŕ~p`T6:K¿؍ =7}DR08>j 4╴;)z@(' 3(A-)n\V  03~e(!\oߨL!inrGTߪné_8[gYZ0b25738d6a040c6128930dee1ef97d85b229ef80 3245cfeac2613b419ff643cf72db5edf625cf117 4b77fc1bc0f14bb00f4a957abc3ecd65b4140225 57d832db0aea24c58f93e26834b9d0b95d5f2f1a 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 6f592ef2fc1f1158acf74e077595e80f132f1405 b5f3436c2617179f40e6380dadabefdcd94805da c84783fb29526ce883108f7d0451c93533bbfc84 d24fbcecf3a6eead299e7b943efa75e6295f91ea dfc56948f7c3727a79607c61fc19f86b52eb6fc5 e6341eb28e17618f006dcfc40ff961eaea12809a f3a9519bc2b68e572a01b26abb41b45c36755aa2238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b c56ae9d5441b629f77cadaa07ce128a6fd02d228 eaf37427e14379c6b5bb0549a2d41983fecb41e3 1432408a47bbed2b2d743b49f299e7c2e1427380b854cea17d88ea5bf7bf70be6ce614eb7b773be8   Matrix