SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 b5|$ ;]Amortized_Complexity:threads=2elapsed=81.432cpu=159.464gc=7.356factor=1.967zXZִF! m;w]ŗXf1-/6vR[2F*DlIWu,|".Vbȟ_BKx0@WZ0:,LiW[;rp},Gy &PP0|7Om<B-! à# X[҈Ȝǧ5,,@"g-(ޥ<}bv6OS 5 Amortized_Complexity~exˇSzT >g[p*C6E /egE$PtkksDke|j5!t!'4]oS +3=8ε.X*RˆX*ЛT!Gh eoYx}aSCS%FGCi݄Rnu6uD"WT$ՉNnM7 > izȊ5kvXM@DZ"&r٪GRPEc>tC~7cyaas\kcш&n*HU2M|E4r,h[~9|^VJ]O1t z @h ,1[SxGj\"8S ؐDu%ެGCh=TEvNu B O{蹺sxx)sfJ?CA;F%_W7(v*r,|/\PW0[B ]/A!IgO2</݄4¬::M@Lݢ~dL@'FYHc(G )&e4ý2%"T&tGyD^#,szDh)aO[53ox+_}A@.:u? *˧4Hv/ #w U <7=\gLӍ@昦sߵblCYamJZP~P| {H "Qι3m%!]R${|BdiI ߆}k.'ɢ l#oˤ840asO%RES:u~M Œfgqf0[i` buI?j9C@E#giZɸx+xkGwwϹE.Mxl?lp bOoa=~۱{ xw1XNXQ/' <~c|Qf. x "=R2B xpdGZ~$7ӿx/bp]#喳D}MvjgB`oV1B3| zG.(_BCD{Υ;I(+t#ewOR&?]΄>]s,a\;U@>Dk{bPi=sbT;M0?IRmBg+X\9ڤ\ɰ 3=N db=>= #R)rfD(OHQp|F:/rMxvKZxn8B])isS tW=؁@dUwlgM3JZT%9#FLFѵ3 =׏8*jPz׍˄.%p'-ROt %جi| dϦ.<**+G @Q2KuhYIٝcC BCv%I_@K-om~g*Sn+ "*Oz&tj"S|2O-6ޡҾ ,#Զe~SU8.M|ӄS7Ӱ $g.PZ"g I9m&|D!gx *f]f;~D~˱gYZ7zXZִF! ~ ]ŗXi% D/a~u*Dq^FV1Lmy$^p+ހ&7 mᠡ,35n~WNv{;;0oݤO™N_j1)(si*94ݻK{ RU6>AbgY*n44+}O٦3c& z@ܜ;@=?(V-K#|rTƾ3Hrgd4_jDZl7$`bQ[W,/@ VpyƿK/@_L,V緲s0X=᭣ELq?I6h/68ԧѥE^N<[˱tPnv<]0U۝Q-ᲕK^<ľqWyl}}~D8TSxAҪv1jrĤ-T91B͞L.C B~&—]v8a~C^u#E >kJù"g6'Ecq_lu>)oɯs%96LW$I6Eg2Z> a?P/OQI+;]b58M=JȳјpqdÏpeB/ޥǘz=9'ɬɔx]9*\T'Cn8ې8k20Ԍk7$OKOd76_K7?Y=WpSף"^ )gnj+`N@W(DdҬd!=GM1]}/`ҠLrfw4:r~ZM~P31Q%Jd:yz W`>;kNf5l?]Wx褲Y*Xr_S짦v*O;Cc JA7Z$(hI`K7so K=$'~sZx7k<Qs3$Ю, @q*VU~(0nߺ=YF7X?ST1`(Ch<^Z°8^9<e ,""ڹµuaB!>3WCo!DWo"aBH d*JfNvR1v#A`PK Px$o1x>Dݨ/F6$ʿ5 .xOW91,S <U]GYTpvybbiE`{Oh6?i>~U¶@oG0+ұ{3?s  6b yywiԍ=5EޭY}6 LeGY$Y}Z=017Pc?5-2-z;!4;w4?_׬! HGE&2m-u#( Ƹ_7'PKQkp\ǠfM`zB+JӁ^0`8] pѭu[ca9-b5¶B>^߀!eCXɡqcMk`I ,MQ*#U?{6l0r?QiDq7jwKM@R&:syİ3>|Bq ɑbg{ݥИU(u 6+m9Ё. / T] _R8LImO臹*Jm ՘LԆ ]]хCc ftB/ >FoZ'^ |A fos)ڌcea)6UDE}cc5!)'QuGo&rJ.*Ԙ3ZLՓė`.W[$ ,MG`FEhQ\J/V5e掝1 ܺ?˔:Ѕd:>h/!x9KƧwSS48 cβ]AWuY\'Y!ߊQso:?tEʬmauWbٿ v|*gLDayaыjM[k@oYc7B.cj^9jȰ vI:EV(dq&YDڿIi&NњM6Y!1,++LԵd!?#~J[b#_"2돫vS_W:kl5ɢ y=A=~T*-|.S3_)ieClugv1j.gEyA >*A=voS2αUC5񺓜=7%mɹlӢ5ӸZoU0[a/$(iqgYZ053fad0b7be696ce0c37734fd73c097b31c236f0 072917bcf293dd7b327c5e7ab25b690b260903d3 124df266d21b67fcc7bbeed07a468c12eca5b5f0 20ba6756e03b0e109924ce99102ec608159b07e5 2b4d90602ce06c70bbff2cf56f87ec26bbe6b7c0 2fed56e63e64893cee783edbeb3c8594b2a04eaf 3ccd9fac30d1c0278637d8f8c53013263ba5e231 3d225dd585e1ec6cdb81057ec52c1e2044c90f31 40933c4229c1e1fa19b38a3e64c32ac0f2f929dc 41d32e587e4da97ee0f959ac9fec845bedebdea3 4576067943e2e83178b3cd6961f071f49c727847 5115d596d4705a1fe236b64e38d245279fe53f18 5b6f31c185b2232d8b485507de73ae0982244b4e 6c8414391afd4ffc22ced7de12a58102f51f3598 74adc48a72fa690d8f30865a32ea28baf7ef0f9e 889caf1b00a0056acc10c8272a53eb0e95b58e4b 8b761b06ddb07f4aa508a06066067bff72edb570 8ede251b4db5e4aea7a0c97caeeace95cc6f1aba b8d0cfef3573508f31af5b427c75bbcc4b539a2c ce48a7876f4cb6047e48fa90db8d31d7812ebe67 d34646ab15071cd2b80cf274c6184ccbe3fd3507 d8d67736611a6f0f9b1850839bbb78e951d6c1bc f0d9098a24a228feb935cfb42867f630ce14d716 fdcd07e33d850f2e31fec2b9a936a64b6fe54da9728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c849edfd9078be8a52c7cb31012e89a956e01919b