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 l+ Dt ]/ Euler_Partition:threads=4elapsed=9.594cpu=29.916gc=1.012factor=3.127zXZִF! ']ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&3BN"遅k=YhH3C2ϊ?uu+d D{o^ tC ִAƔ-Q"R u/˱ 拟T`8WgOi_0OH1lG!FO]cc3ݑVDM1JB\$s$U~> T1"Rќd ;,Vܨ[!4d%k\sݴ.1mC0W_h5F/'Ų"inj?-TN = eO#! òjG/k>D 4'Gѭp(Z'_eC?&f);f͌#O^Yv1;{*d >x{^YM.u0wO|˖̒ջ JgYZ7zXZִF! ]ŗXiɟ1˦rYsxgp9f閷W&`^+4U! 4{TgӺtɴYu>^j962&M!EAg*VZ}_bbO`[d;D[6R ?z5$Ȣ 6rՑ 4@%Eu~Ax*V?'6ћ\p},k;<,,GNTEcO{YBTmxޓ֖c k" Ӂ6J"Pڂ)* {s rEܟܟy<ݶ't1DWK;-\ aý|s!e߱,L.RL9"箊N!_c2`zouoAħ5@˗ CT+ @#) uWŕ-)K; :8]oE" t&h.u5 Ä@xzBHLvA\Y{PѣPvme2 3nUtq5h^ J&Wy@,%et9<4Iv=}zjM7Js2SW轤[gG6+dЧ-tF 4`qX>-rV-嚠( z=\ӅKOE,ocsS=at3}=J+ 9'QwIk_DEw`I) /%05?II<(ߣ\=#l]ҫ)G:ò M;`hk=]モ)VlfsfvZtu٫)'Z%j^I% ϼɵ\BLwgNJ.D"֣? 9Yp6)J/ƨ)RģWƛ3f@i^׋[x9L5Ǟhu9q c_A FkDCwtC. Mkrıxv_ˏ;uO+ݤ\1~-WL)SM0q jgYZfc8f6d8ba4304c15e923a1ca48ea5b18160e39ec9cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d + Euler_Partition