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  + +J# < % VectorSpace:threads=2elapsed=62.235cpu=97.984gc=4.232factor=1.577zXZִF! O]ŗXf1-/6vR[K.z YI0`m 7Vwt>^)ߵt=pUH9nR+{InZkN5@8W{O/E3:} xVl|%dl Pְ`W^W;7QVPWo5HW GIpRt{ 3_3ţق&gl$ < A*KYR&mS^ H JpC$QW߰G$Cao~aU@ Wu(} 2m,"VzdT,m=\##q49x6 Ϫf`>Qaxqv٤1dM1"R.M@g.q;p''ݷOFIb]nTLj h2M/Ohfyã5V4=-}}HU$$ӊ%f4F 2Y ~6k+f_A\_ iţ^B )fSف[RDLB,U-"7K1/\t&D`mk""+:vq87ւK{%?5B^"u@ZZ{.Z <\/~1nR|Ncqi1ZVPBLH /*hNcFit 袚W}[!t`5LLc u'<WÌ/_l%G0~obWcGr϶A9:.}=wRJ<=[w`O Mf{d=tjc8@Mi9 ANj12b^!z?NlJ T;K y fyczY*{Sz W=g|0C6z=mp$~?M5BނtΦVvӷe_ H"K۞* S^;6,6ker[U)@&w%:ocs] J  ? Xgܡ R {oz k1=Md\Gȶo|^aТU4ODjUVqkbaЯKod"Ҹn0\{˦T#(\~W $ւ)r E:Ĥj^1HF1 s. ˾OCʯD"ZGXL&V( R 4l \h 'A;.7n5>!.g4W ?"4%`mLրAZL0$ҟ( [_uMiаǣV*Ra5X'?(F:~!NU|?N()Yxۋn+ #&}f%|+Yhpr5_+\,ZvY38+nZ<2 oÖpo8hs]?KNN]e1$ɞ_ M # VectorSpace}WDOz2 4ǻ>:3 X<ޟzXe;^-MnN ПvgYZ7zXZִF! &~ V]ŗXi%6y2NiõqAKx[\0wF;a uً-!#ղ>ED1@-:UMxךR]b [%/x Փ;P_щv9\pR*xlα8 pLN\Dt^dNq#v"g7K!JFmPjmHf\;<`l%8pm$WmBy,-OZA{!|lm*Vi: }S +kװ;ЛC&V$SI0 9$x˺~~SڃH܉!Ti0營َwxJgXk=ϡtQX}W4T'TphT")*$6Kē។t yPli>wgEUl^cVL~{BJ8#U5p.i#pKOAS6ٰҭESN9\YCj~9/JܨH"r0:޸51;ʀuϛ+O1Dÿ0=)z5̙7?"_6ckޏ2JgHw ,n b ըTV'nϿ>_NPkƏQ"妊(<@&0F4O*GFQB e>rv~vcm rQЉ4O:8*CRܼ}M_%=(|PR OjJ& *+QC:"͇\Hj?qr;TN3u@[%(#!/z!*ֿJmhYZ ë)E.vZBg MX|Ǘ J\UxXZc@3UvW][+qScbԿB+H)8uoBE_ZYGK"etp?ZŃb?9`y7'@`W|FYrSJKEN˝.wsWë#<>&C.G;jO lIݠ$mՅoZA[h=js 8ד:˺xV _ [q!- ?W#pշ5y-H-m:"n VHB7lIġ3:zVk ^>@DȽ LҨ!SSP1U jOiKLNp+rvɢJwQY{q ۋ2X=n,NJR1DKqږXp̍`K}JlO~2 4b'?Lj2κ_sǾ}Ok/!pskж!i|-7poN56c0q YJa|Xqs/fW7gvG&w @maY I&ℏu{뺅&J)&6Lj[AEj^4"rpGDa-pE%%0\?f,^{s>񂒓9e3"izb&M!se"6Z9`s0 a5*W[F7Il"dQ6;~$Ci`ӶE oLח<Qt37lSf뼙ήWXU>в^牆Kӈ:'Y_\캬>.h2ת6ntc8KAAi&ojBBaHB PjUa^G89,V~=2Gx|-4|̎Nڢ E3M}~||+15f4 [+9At\ 'Ru-y@4Bԇ;Q,2*,$j`* df9 4HB&5;MT5k|(Ib ߱9LJ`T3d@I*qJ*Y fBƍ7ϙOA#+ӫ#9 \MZip"Hbzv2M!C GR,Wp],2ȡ3MT!$ ~@ٱD_t>MNAcCO ]BfR:֚8.TQg,z@ dʾ1; QHg‘ k;fj$Oވ0L-ʰ@ d~cѰ%y'gwV5D{!BX^i"|g_0NMK]R9*(j+eLI|H ҇VZKQQ^x0]G{bX:H =OgYZ285d17beaea4c49771c4594a1209e9fce3c09a9e 52edb41329863c9ae149b9f908ee4716838e81bd 5f18bdf36b9b3e6f93d8ead37ce1a29c2f436639 61f78e86b17896dc21941c9e7d44c091156a8500 74f0b22463839de0f5941bbaa6d97557f05e9ba0 9be135482787781b9b22fbc99fe61b777b1c0add c0a8f4df891951f43e67a343f72afb8642cadb34 e546d7289821a29ee4e3b9e7cc40905a0832d969554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a 93abc91c039f52f86271cad82c5783c5cc5df1d2