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 z D$ ]S]Matrix:threads=2elapsed=35.063cpu=60.832gc=3.792factor=1.737zXZִF! #]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیxZ>Ag ->:џ%D+:ag0 -InzFCU<~'g:{oh?(nk<2I^-CW.ܝ6 Guܽ.T*/9/Rv9S(q&#DNX,2ǿ0~Qr-z|CjmfE193r5C|;Ic1LP}R"CHE=n];KI"J:;^ */=xФAlV 6sfIw{ fIk뾹:E- 6…L1Yn: g%|NWN:;'CKFҏra1BRB_#uGB/bs/:g'񨼍ՠWG/@M;G;gYZ7zXZִF!  ]ŗXiɟReDH$ 3gE= e $SHA:=@cHVa:_5~"odJ=%}5wmX|oPiix_D@(7l#G_ -l&p5M` [5cbhBuEN9R) l>D}3iOƥmhۊ DζjK ơ}Irg8\KpWs١O)|=)W6=NgYZ7zXZִF! " F]ŗXi%;@MyT20] aէOb%9sWm\tX ->s\BFyеV1c M n>gm9bX71$}Fwe6I4%:aqL&Mr" !>y.vIdeDžRwm/3rHBnJ9#TDW,]rIh-wdw9MG&{f0оDPD>A0QSMXK0ۉ}tKv i`*B4Oo({Ei~|J@wKp'dnBZ*Hi/*|ؗwI<;`)gu)១`Z,ݲ bPAq +BԬZ@pE\ 0yKO*+-bT{}]VYփа=D eyԚDjY]J-bF^fH s]Ezj F|/_5v\W-|^'{LCtR-a}Brow>G'[+3/8vc5x|P\6MK'ޫ,iqNbo! a->[%!~9A\q?r)=fgLR,jB 0#|$ W Xjx,Z;_'-Jv~F"xO'v҇˱Mܵ 8@7Drb",lrp@90[q6Ք4Bu0FHEo`\^5;n)2Z%1sP;J%dY@ -"Etgjk]ESJOtQlp‡l I1|HL(zߑ{o9הNHc|즋ϵF\NdTxp~WZi|ys2V~?{%13-4ፅsX;˒`1:TX魛7T3[0XFK.Oɷứ|rLcG i*^c62T/T^:G+Ȟ{JiPDH+XT`C7[dJCӳ (:In0|e]e`ZWUoYЬfq(S$|W&ir\4~Ddz}K|#p 캉FYJnNtdvZ-"f7<ٯi& 4h뎷(#֑/c3yźvT<&}TJPu /КIr;UG3iHN^CA, >k@q>֔ue|O9(  umݕYH:.I'<%$s^ہp/ 9wXt@]ݝ1ϰ͋ ))'dFnʩdWp]r 6067ȪUvڲmT/ g]v%.R-qg)@RVn Ħ)6m"f}fHw۽_}p*fњ-uPjF8G 3梅CZUs!K:u ̎acMj6QһB/F]NR.RZEEyJ`($#$ڊKgkyɏK9nYҟ[@'ӴF,Lus7#aֶ[gޠSǎъ x04g$Q?8H[%ЩPk A]!REZ/ ,3E,bкb" {mף* +3H3/n`#yjN*X!B- [@oHDdY|a:]L7L0T 鄽 xȜ^PꉗFM>?l"o ) ;ER1(,♷L叡$Cd=4 IʼnPo!8Rӟbds V6'Wuc?WJd\ZЂ臛(9hsKR@7}\($o:` ' ! |Xyhdz-g"&!MU.籃eϠ 0uTЅjz@]֫=)";c!# 3r~6$0˒K: ~BgYZe5dda0d9b7732ec9cb0c414f7aa21bbb92e7a5d1a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c 2707b3f87e5cef0dc2f9e6041a030f687db207d112d9f4878872829b2d4c7bcd3e4d0094da014f01