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 ' \L ] ConcurrentIMP:threads=4elapsed=19.495cpu=45.220gc=2.336factor=2.327zXZִF! f]ŗXf[&nMy&\ꉎ3~r >HM702e&r%#ǦڣY/`{jB]J:InD _jx~k҅{cXB֓}JIܧ3)ҶiV(_=<>;z_ԘCȗ>h UЏ9 Eq#2dsBZ'Ԁ9nu>㌻^-My "51У JZ&vR@RN#u%2wNㄢhÈ@1Hc#w6XW7aa뱑G =*AMF5X!+>(С1òlkKWq]18뷺"{+ݕUDf4gV < nX[Vϥ%LZ#MkI{W^q 3MHbIkodTFHfo~ĩFQLGQv\Y8<֪jcts}JeM)P푘`VC~$TNg}1Ԧ_{2I !!o%[gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?w,nT$Ѓ0ϥ/C5&*Ii=5l1MגubvQ.!#dɒ1+'ݾZ>Tݹ9uo9Z> '0{˰r0L',}~  L' r1LWP&u7gYZ7zXZִF! ]ŗXi%H7ћbUCEƛBm-.FfXf#3o\ Wc 5YJHO 5U_IYAgMnax5 D~Y-{ `ji%ܚ]v2>5eE6<[,˕ bAq^Nx&PwR޹%ec|cYh}g4ydLz(.hYy''AL~r|%<2~}5u쉵pfvǥwJ.rH(&>ʟ‡$ U/Lؗ7tnقVnJPy 6MxS4 1ЉSŅ3GWγODvTvDz>kY6?V9m, (Ը[&:l6" O(j귾wgNr7Mg|O(.so^y6ٱ]/%b*`mSSHJSqM |d7VoPa#LD)wC}Kكe{Xs C8A!!x`lLNm.P ۬ž8ppU{|^6(e\#ixWb bb|G"jH\I!NW. نϛ8 ( g )&oMxep*xc\Vzj3|a(# ΍|IuD2{AΦ-6,T(. 7VI#3Dq* N "0 W6y'; Y&XuuDjX>pCMB~ł*Wais%x%H,`(:񟜿XbU&1ЬEq[-'stsՅ/]*)Nێ.gLB?]Pԁ* 0t>.b5KmqߴbS(`CR}c/59d- A,Wb.`0wl^ܒ7;u */Weq>dmOUj U{`xRo]1)L+Aȸ3 s (Zt>ibcC?(PH Tp0hVmG/1GIaR9ˮ@6-xq,1iw(Zna_O\9# zwh^ARVjcudpӐ̰o&` RqۆsbҦq*ɴȫDk"qO!dzrX}FGQx){K=r*&epXCِOC<` j^,ojHs94$"Wli8y4j(}"arFئ\N#QJ<;uI}I* ")8S_v*bSjmIjs)ڎrCh`JK/k.1vZ3 (;g.9ѵsv"Vh%]GDŽ~oA )'c'[p 9_Yţ~U]|[Jg$Z1)IHE"Sz_27=hD]>$y@R3jNk@_m:gܥ똦wEr;~<TZgfz@T\Q`׀ݖ"_Ϙ BBFl KT@lE[wIϐ&g {zo [,!?l%@M+  / ;vwKȀɱ*a7!4@A%j*M7N?BG^ۄ,[T \c4("R = l.Σ b[죠] t1@߀^g $L`F@oko) h|Y׎Iؠ5]鹤 N%X dI*3|z86r\rE:v;4#ggYZ439cb11440ece9eaeab925b6903f4c980fc04c1da3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 85abb972e33d791a56eb0ae4d28a032db01c9061 ' ConcurrentIMP