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  w w~' |t< ]%]Sepref_Prereq:threads=2elapsed=56.537cpu=69.536gc=3.716factor=1.237zXZִF! 7F8]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAI~f5k崳pAV<8;Dxpyq jz<)I',˛u2oa+O9Ҕ̃EدCdN$lii#ΛS:E ?棢.^{xQUp<F\Re`+k!9.k@-{L߇~~*vܚk>7Lc<WCI¸xtXΠ-21䱨S0lh_^/i5 ?čHmiTrkh^?J ŞME.ڱΣ8RBӈpG[,@snR槮Vv/6x:`!`55o >aSIwuRu6+{])9*|d`nO-[ rrauuW~mbl_mjc[_9#Kp .1!<8bEa3nx-<N&ӟ:" ZrI~ 6 YrGIp]xM=ו?*V1$ 7[+$.mhk }胺ѐuN82K7ʔ`LiDZ%aΨ{Hrv(aTm%oeUW 7w0p%<~T_!_)P(ɍ1ݡ?$K.aqVx޳z̊&lĂā&Y1uG(c]fI9iu央5x'H]s[@dj3v^ ]3z۴vaLfL[Sۄu%hkD6+$I{6Q q46-gGuscv !O*#gqlC]aL+ǯ:Ϟ\MSGh˃ʞrb%&tö6=|>@nFd(*j#C6y>Ӄz] cBۿkEmY*/ul) {`ߐU͹wFn8%g66r^s ' Sepref_Prereq*kOp5o -町߾7K]U{Q/u ؙ]#J~ nТgYZ7zXZִF! r]ŗXiɟ1˦r~KunύNN{Zmr1Ozɛ@mkfao>;q1c=d/׀(ӑh*| axOU򳴶[7bPGbVy+AgYZ7zXZִF! X ]ŗXi%q,1mE3^VW,Cq.n-Pr8dab HS\+h!؍l u Du2Sൊ~7C*z F ns%a6~vP=*+/]CHكC[!|͜rRIξ.}^cnZw$K &Yz [dKr>Ft 4tck'~(AAkO^Z6 @(R:H!ΐkƅ'u 8P&WQЂ!u8)em;M.ƗɪpK2FB~YPDCa%R`J+áR-Kn5,آMI1r]`> C'.**7 H|2J8~p6Ћq|{cAq#;aV!e[UJCSŽBҩ,GaSC*抇>LOi6B'6xMJer(71B@ Pԓ5oﭤ<;7"q_|npvká: WUكRߩ&\0a-X$ygT(^:nμ%WYAlWuBg(%J?tRs+f?v\mE,c, i)%A3x ˴vHr(d@ i xVd _!{a5Tp!ᅊ,4 ]§5ScllK5&PD^7ϓ}BsFrT WFf>~čWEC <bh*}`4n}.ieJ\ hbu2*rІ~MEmB)a[#{tAr[ء{Ob@lL,qQ id|N Mt Yn()ZKh ˵%˚x榜|ƴs$I0HMQՈm*.9is5? wy@#gVΔ~G], Fqf=Gp\ DwifJ;1 l\H;d,d;@A௥G0#>5坮B6XKN?ՕBy'b_@/m}l@ ̏ #I}*PESvѻOb B05׎ 3r1UWhTI6r w[ %DU~hЗ*[2n-i=6{M#_u|Uq;%c}Z-I^aLdr`ޑɏu~8r.U6+#Ѹ2h P`D Y02;I+JY2K<J7BJ璈xZ`b!,'6ڼЕ\ov&0J1-~_᭱g\Btz;Yjxҁؒ^u?xNg[@=%O0?\Գ"wY_++xePAp:,I*4܀*`,(2MFoTM>lkBfF#_)"2T `BdBAOB bwH2 s'fsN]V-*b0՟f!HOL!$<$+0kJe*@t]%x%G(A,D-K>V6K221h;`,]5̖u[jzL_)dZ<,T) un0go?C^hz4g܂yxRF^#+S:*Le7I}'M ,fM{fwM~t;3 ?)A PɱD|_PHxJz ;vYV"kFf8+Ct´N@MF ڑQGBv6Ƒ̔Bz~+()r+jz CU!RNKpo=bh! .t*&=Rrz)E%|UÙ4g8~Ouu5X);Pt؝[]rKɱXvzM6YCw_ .3Ta=ʂE'72d~y #6-42J{ۮDRaQeWBZ(q=9 CdKvj2؊O2&SϢӅUM齼6O&, mjNXFbB҄^zȬA Ŀ\[~ץ}IR7<->p~ 7w]qG#΁9"q FdZ"*Ulr*hCܓwE?#VV{Z;I323eMeui@HXHzv|e i Us[ԼjJB0ڴb~oZAM_0hƃ fQ|U5i$r4S1zA]>QX18!ۧN&yeaI(>,%,;(݁gn+o,&[Y(-ZEos$m[t_w< ?[L+B7i5^Z(ts q櫻ٌg/ZgYZ9e5ad92a6d6300026c27138e59007df774c1af95d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 0a9ffb02608f6141bb793ad10bb944ac191d27f9 4aed21536b48b4e99890b1f34a195d021ecdf9dd cb0ea7e123c24748759dd965ffba84e7b364e8d456c277c0eaf366dc9fbacab9a5d81fa477ac3ca4