SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info r+ < I]Sqrt_Babylonian:threads=2elapsed=14.992cpu=24.976gc=0.500factor=1.677zXZ + Sqrt_BabylonianִF! ;e]ŗXf1-/6vR[]9҄պԗzX{olD Kש_XM{|N'027:C?PZ0z`._-}:BfOFa6ЗOȉ9uf0{4>h; (V;Q)BamDp]RwvGUpu(s_UMF*B9:וzmM 6Żع[_V0AW-ev(J1@mI$zy笄ݤb0oUt+6Q Z`>e)f1R>_Nf}o1?)&Uޫ<.Y&aS[kh4aInT Lo"g<Цy֟mti$fDpI& 0n(d/ zշvk(tV|wi,=ܯɲ\5Lditf}F% hvշr jOe k"ޢaPINUqT?k"7ύh >&]sP3.uD6Wf Xs/U?^@=q)]?T۟b&'-@},vpQ+XJj'ZZ*m$+B`rq&j+DA8^6ia^wvI6wiv\jCԀ/(f똣8GۖrW`snԎre΅gWYd$ڥ^g.hQz(Y.kKt- NS ^)暵Z/o%Ϸ=焌R8QבaŘu`e}/[ jI&]C^ZspyTtG_ 1f v(2F}vJF0TO`+krY)ػDu**miV,fAyW0fFq=i/}-ɇ-ll*iBNfZ^N3ʽ' k[t.j|uD נꃜ1-tqaD@m;qb?FClZ̄RodǠ:?)o:$sCzh[C|eBMjOWg7 ?{H8Cnj |gYZ30bb572f70dbc9e84164316c4e3bbe24d4073853 5c40fa8259059f4cdea292a4f13c6d2ebd3ee91d 64a845b1220ceee7d28a066e234aff43a3785d06 942048c211146fca0ed89d8bc8c594e9750c1b8d 9f9c809496c43e458557929e05501a0e473845af be3f57299b27044d9a95701a925c40d17b38a3d9 c0b968d23a82977de5c5376fdc0961634308f36b80f4c0c8eb04f92fa9b72ba73b988fd158f20be0 ea130132a8ab1e832f061836cb5bf296dd9c641b bcfd39afb480a254bbd634599f2535871861282fafdb991acb3397d57effff00833bad1bcad39eb3