SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ^ |t\ ]]]ZF:threads=6elapsed=11.936cpu=44.692gc=2.572factor=3.747zXZִF! tx]ŗXf1-) enȈA"tr-j. ZbNVH8JXs8ExUkA:E/7yBS, |п7_xvH\N2Wus+{Xo_fl&:y=N`";8Pi*3 1,(ʲ/d~fKv ]l`Τ>BuHl=@U̠Y7χC՛(w?E>%\s 1g=# Wˇ+12{'hpUiZc kAbbµub@gdԴ;Dݿ\K>FgB*gYZ7zXZִF! 2]ŗXiɟ 1FE`空 l`&Rû:T=^MZ[cT|;yjy ľ;dA*Sx![-V:3DΔ.!A ;ziXOq,$"5 Jʙ = y+ 3ISt렺CM^ CϏWch\BRHliN327U םj8S;JS$N7>MJ~k!Ԍ'.6UE! X`Z!=^nv ԓXgދ %i-shk7Bs㐄~xlTK!IiIs4y򡘨d^ZyYL-k{Ggӭ (g6iESc$fpYL~љ,~~_ƦPn=Xx2H3- ѫp)Rj݅fە}^T*HΟK,~qfh?CtD|LY#i_h9Xҏױ3VK4]VZ#j˗ :͞5 @^*1?`}gYZ7zXZִF! CB&]ŗXi%B0Dk3gX_CQ DՒ"Ob,:q Yel Ӣ.;ô+p@ab)eݶCCkp9TmVWàI~, R "v [cэWoa]GTw*Ig< F%&tCAnV ,hZO /DȲ[0(nVJr:F $Ed#{h6l]V 0TBvt֒=/&w'&V{]%C) \k.,Q"ZL*Gb>sV PoM:9XxǐF٭})#dZ#+0|5G5徍42Ka*+wDݸظǼ̤icJnayΰVԬHw ׯ5?v |ji*>1ZD EOǴr鮂`r$6˿b }aP1E \0~W? yռq4^FwtWc m}>/ŲooQh7|_zҍpŽ>BP]_ɒ)DOP~[R@qcrc3NZ J4Od?|v0|Ď79ԈgMЌy,9eG;+pP굋"X^IŀnJt[>'sRVbЍPv,.$`ϱlsN` 6Epe&58;!F;(,4o۱>&rej^wwYBx,|6a֙;B*NXS%APLJ=1yW2@-cXG|x6KYd|˳%a10u,U+2SP)g;.`g"OI ]l 1 bzrEɤmDŪf=E!&~|De'Pk"=?kߔ ƱgYZ6fc218eeb540adde19024df1d868acea64311f3b3af822fee716c8c3f7a258f5d449a67bb4886bf020e803423cec7760a4efe330f27d1fb39aab05f7  ZF