SQLite format 3@ . BBh77otableisabelle_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   r' <\| ]%]Sepref_Prereq:threads=2elapsed=60.216cpu=73.404gc=3.992factor=1.227zXZִF! 8NV]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBA-QG.APT(sY 8g@sGUq]@\]=E(XH+pwdJ$y$ƚyA .eMkĚ_2{h7.pKD*m qh5[ZcHwzk1r \W{Sx$\q9/$ :vb6~҆.kJrd UC -ĩPZό:ۃ.{gi 7uʒ0XG5D?ߥx)W=Quw *!-e 3P21* h.#̘^o5H|:,u{X ΒrIøf.G9fVJM<Y+ `R81v-ҕ͙eoX.ř/$D;5z O>ä8G@+g>Q?ftINI;114WoP<0d촇h$6ϰ[m;b++Drػ3rs|.H%& p|`Hbo xf0K^M zV 0sh[k>B_7˴QGZ2'̺$/mꁌ|l~VNp/d%r 2PWxsHPcQ珈LH(OQ]Џ,=2|=W:$vC+˺}3q U;s+&}z`_[r[[J1_ ? Npv( e=y*$K/[*]D14j3DVY5 bbA>wv9yO6l.E%ʵUpUB>F.tP'a0,wV'9 E%oF]c\vC"wk'ݮJ'L0L} E94E#Uh9*mVs^47p(>&! PƀNx0kȷ1S3x`}+dKwXȑ02>V>5!c_P-u pn`gYZ ' Sepref_Prereq7zXZִF! h]ŗXiɟ1˦r~KunύNN{2v'@GPNX~>Imֶڲ$Qn_kA$E: _їKO?l)-2(PPEH-H4&]G&ٓ} 8RVo3S -O t\bES[Aԯ7w`do>o 6Ys%^||6,{S.~D*!*qL ;>K&аy*hdh^0շ@]s%GՙC}pz0~ӎB~rVFm%oSN[爱ɌFԥl<%/ b&[mnb wfv^a9H*}9'dqVs}~ gR($_,w\.pFOqEh.]tBv7ۤz7~QeeLd/ɢ c)hp%ww\ףQ}OJqlőJz > f4UL\tVf5+kAxyq^ѫ r#sZI?^8Y̹\e*KC~ նHolp?j絕( _8 ێ%vtt迊UNZ1^9;YJ SL,Fwy_V3 k^íL# 9alXu%vuRyCb g,Tw g^z_x+ C; Hc~8Ը5[{Hk#%>Ib $_AG3Q2/ͼ_*<"o~ c'ĠA|żyr'Wɭw,KCq 7WG5늟a諃JVߕD>5-]T %6~maW#?Q໒DE"yS_ivVEn9?0|0o0Y>aLק E Ub#r@))esk%oߧ8<&&ih=djly"{<'WʼE"a6ȗru`zbޱɥ(e3[=Doy݁ PbhbG"bZ[5<.Wa./SU?EfFnF7UVӉP #= )?ujC0Ր+D.־Tx>1Ou;%Pq`JZl(”зރ޻wދS u? ܬo\=/}x y" $)Nb7f'9@$ d)l}bMq/ewA,j):LsFl%7ytز)ϴheSsWVs[4 .g;:t_1/TDLNdwĺ24=]ZPM? iOEQzeF-x-n7M;(ת 7jX5K'}9&eE@s1"k$3D{V[uøpM*D, g0p bu4fU^*%X\&J5x?#U6pQf47רHCe>XWr˻ h_2k\ѭOtC,Q[%d#m'v}cY6AkC`_ +0Wh 9Y#t'bcXjUVqd쀶:s(4xbr18dWiwTNU`A5K%ŧ]%/%E8OA>M`WUL% W.B{}"6DVz9SQw( )mJ TY4dmm@AP`;mA>@;j".E辎ovF7`D,3;(ȆHGZR^Ѝuxk3?l2ݞ%JN>tE吅&8'JqƉ fm`rܐ!{2J޿٣J}QP@L#8->,Uڷo}^] R/( *[+oz_n2l8Hf|?ݶg1o)L A6D'$檎4"_hTU#¦2/ WTk^1v]M7LsXjP+~;'&7a9Be[`d[œ #SVMjK5ۜPWV7@k a J۰fn-fr^J2FuA3w'`AaL2lp.L RMEgYZ6f4dfcbf611039af159dca40bb0d8f0277f83111d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e afea85cf1dd59bdf03deeb69cbfac976e81fbc62 1c466f71c532c25bd2e72e07095d0f7aba095ee6 03cd2aed9bc0c27ef8667b37b667141c677255b2e6cd3fef7045aaff6b8a8071b4933e6a7af05d15