SQLite format 3@ .;  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 : ,ll ]]]ZF:threads=6elapsed=12.274cpu=45.424gc=2.532factor=3.707zXZִF! O]ŗXf1-) enȈA [bYo;E*&úYckQd>ՌyYC^ni1jt@\Tiv-{Hm`S˻ 3q%.ML:Jg Y).ܛx=T߰FΜa9RՃȇaAW$]P%<'(Kf|vm @A+zOS' EDx0cm5y'GƋBOӸj~B &٠j+A$'1o[$a#Ptumߓk-[];1_.[/0,mmiiv)`ux}3R3 _fTfO6YgcCx礸}mB<16"/9PiG8\@緾WVsB{4^VjwƊMCȢ\RCZ;mЋ@7}D"j RWk:tńTqFk ^<"Gw3oN@GnيD5D,TF{\%9'8Ýc s# +%jhЭ{ Z!X ̐l?,+=@.U W3R07?tZSWaaF}De/q2=ZhJ"_ Y:z](B( A>S6>Ŋ\( 0伈U) 1Hq}*,{Xzm'9ugG _02a V\*/LApmP8'aMG$b!?ށGIr T? N?lLJA"nH(!՘UI D we5eaR-izW5(M6),.3eƴ2ɟU?Vr'mA)1M}|w; :ٌdZd1 ǞYiĹy46МV5u qx' z! %pR1K Nz+wn]N^iąr!oTNo^hsU⦏o,mA6v㘷ݤ?BǠ~H t+P?^ x;=L䙷Ʊ UkM VN|鲌]=I@_0h s]X=½`"JcISz"TK`nqkxl Dnq_zY%ᗎNGoJ=BE+ j_ fJ;elTwo^|mYo4bC ~!&1|Hҷo( s!`R5dD/fFR/۰ oPJp(VD<&\/%7/DߒB7h?:\ ymC-zHFAr1m{kC_LE>@+fzFe\@(A5dW~=$=YJycX*ͯi-m` }JF Ϟ7 5L!8ՕݢgZM-,X|QaVSH`RY3Y3ԃsN@as8Y\ݡE%z4WעĉY.2<ҲM;%GlhRiOBrk =|ͱgYZ13ab2042548ac72f07507572fa943a43829f010f069c9ce34574a9d180b675661212e7d3c60137e9905d68e614d2f3258a438fd55b937621737a3a0d  ZF