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 q1 44 ] Separation_Algebra:threads=8elapsed=11.102cpu=35.526gc=2.036factor=3.207zXZִF! w]ŗXf[&Q) Һ|q1i˅P*oeeDJ1؍BR?Ny3?E;e# jߏ-HƴfsoPJO3?Q]5:= OxP::|AZdM.cgm46?&mۘ vYETI+:x  X&Gt^` 6gǫC&>Ծ߅u _{HG0O,jV< ;V;tʃ[7+ Vz;Ur ېkX)H#KO#ۏE!Ljj$Z#l"Wre歒{b76E`i+:vAVtQq廴u,Az$"4Ie#^J4|M;RZ6iU7Gi~pP2i-X|eDB9ZV*$ǡ tmkcS7?m= \vN˱;$>))8k݁D #+gqݦXgQTd[6 W9AiqK8#$[Gddn_εJ+(?w=h9\-{""]jijSO\:lAa%uLAαOV$; {~/\&LmngYZ7zXZִF! `S]ŗXiɟQcegQC#M?ЦeX鮏΅iF~/wh˵ûϻ47rLc?g54,CWK]dq@|D: @?}͖a] t6U n~Pߚ+ #acB5Q4^lw)\9 +oi>_ӗ=&[QTJвCB ׁB&u8rsb9pXLwPy U Ei1@#͇y-&-5yy(@(>$̈aRϬTc% 84YW>gYZ7zXZִF! K]ŗXi%>t{:~F &&8H[y:J 4Ba>ZED%_XUԊ! TQ!,}`mdȆLH[RŇcMbApa*xmƨ1awS,ɁCr YO}?gsQa8ǮG(`̃9- j=Z/aږ";da&b7Hf[텄ɓ^޳+ՠ>K xtgAI^ jAplvst OSx!&|e1^rE!Ig7x U4$9(yAsD $q~Ih?j6H`)܅c߄ zދC^ B zEX$Aekdv `-l^`ߏ 1!؇p~MJ̽[.bIkwO;g$EkscӬl Sp 0-+G[34]wnu?Yek*axk畀!nsgMQ 6ǚJ",!(Gay%L?8'F]n4-w F]/(FO۬2pL D!xZ+Ed/!%oænY ?2.b( ujjvht`jȔFOns!'kC5LD8#X#B4llQ(=5BrZb8w(d]Jh"W}.@mԭFV_Mq}XdcuLf0@KZ?GD5(-6~WKN51"7 Ø_tK4̌dK{ó6+%$p:SֵvrGd.(@Uy@D{qD"SuykP%|qׅcxle)u{L $-*X(aS #l 2VNOzV"c}8HYLL2_JzL5xtXR:NG?@QOb]̥ꦨ-E(so+l Q/HѰ")2`\.nWJכdL5Dg3N2Zr+AlnZN:wTӁxb\kIv: o>"フ, $!A@M Q<0yez;\8JjW%1~^ ȗ.ϴgYZ75538cf357c28446826934bbafaca0818cf841d0c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 63aec6a19b97ff5877d55a98daf343e2f0e7427c 1 Separation_Algebra