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 07d<$ ]/ BytecodeLogicJmlTypes:threads=2elapsed=88.251cpu=157.676gc=3.528factor=1.797zXZִF! F j]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN%2d8S͉Z[n9e"]ksTZml oso4AC61bYnNm^PQ[w;Fҭcv pC.K7}Ng=-7J/R¹aO,H%<`K n AKe"`%I~8JmfjQW9ޥKӤ3_r#|"iǰ4y7{I^">o& {O3ߝqG?o.7"ϰ!z4¾ ߡE\0(;&l&)H:p PvµTXF# _z 4ёtC+}w1ejQ (ژP-e"&C.~0ĬY9[fҶÿZ)F"|Qܤos2 [9 FʒHY3OQ3R oVYe?=isF-vE^jmq+| o:*I!HR6l{D7Sچbח+/kFH |sLC$:d`{-LfH2dQ *'.rp{pdiJ:o$QyjkH+ LzR_)i1,vpgApt  }GTa܅Ł&{hB6%$-?ئ@Ҹ/=,3oSxvcIM>Ab]A./' Ɓ.l5℉#*Za0GAn7Ml%V5\\zq}'mi\^B)On'9Xcirn* ni[iCĩ@Vb%Dh4 ot'ڨl֪֬/N=S9l3ij#|l=B [(k%}/IĆ@Waߥōi>FF7+Agm>>F! K٣`P\O]?t/j#0q7j*Zs.ܟz8myxJN~D pw-+W}=.Lh n8 "J[ ,<hȒ"DŞ}w˞:#7u >/=074? ,m >;hw6*jx*5(gC_nKaE;g?J[x!b/x+2KT}vtG4iZIqU=:ZJ$?b7ãdm\XFʐWDQV3݈_2IzGE\vjǠㅽ`r1ޒNV$L=d j.<$CμLB(H/b̈S xg,7UbS?/PRJ/d"U˽a QqslAIErG)۱Mu(˻'wrlF^PًO`^Gsإ{+PWO? _=Y)j < PPzEIqi^݈zkaCoTUX4r@l]P$nqmՅ/  \-LgM_>s0SrA8Xb"Wyُc[7܉c9jU =*Z%\@%t>0~Ibٿzlާ|WB#A_Sz}/5'b0 (+Q.OrT[/^Py_`?ۛi-Žv nZ}N~Uζ& ,mݨ0+j4]ԈW-'/GOCmdZ:r2Y7!+àxBD6kxCr83/5,)iRkqWL6*+;KPx Gi)un`N w5 16ӚxuMAjZEjǢy/gYZ7zXZִF! F]ŗXiɟ/jڢ}n>t;mmB~a^TqovOsKd_ʌN\)Z m&jE7 ia {{oxB}̛&+7U[Z(:onƝi~ľs~`l 5Q>pAț mH`/3nWmTy)#T)j[]m E==kh.AH 82@3`K4T.>oC`ђR +Ie=훛KPXqO+# "$渺e><_WG\_vcW V)/W`hѩ)0Xfœ% k$x=mvkv*K3e6ٛBW:Y5p%<6%Wdp~ɴjΙӎ 'bRW"x DұFO>e@`Q^qo^=H˅HJU E7&ǃgSjd4 㺁XZ[B{9juUG g3tէV*&.=,;_w_fx NR I?ȷ@S?QDzy5vUTzݹ5򊻰#C+;HbK]$',ڝd&/h>ubbmbuxLA?/:%!9DSl=휺ucd [y8 A5%5Ӣv) p\"Ak33FD :T {jtZLq= tM6"_&ud;U:RDg{M |݁8Jk!b{&k@13A-VOV+'}0bp3 [ߚ00&jJN4uCYë,f"|KPQERټy2>OznY0hW{061-O"'nC/?th%p&)b]Ka BYDIZm>˙PbDw6scf]5jοn+6$%t9rn&{K $IA{UtNnV+/ߛnuT_G‚Vww/ĖFjmEiSA`?FgKi?-Z5-^v},eҜ%Pԅ Gx|nB׵WUK,KNB1IB_ Xz;z7y~܋V W.`g6D^EѸ}g'l̍) 8-xyMpTeixKRIo FY29re"q-mFOhd9~69Xۋ -yP=IjFCwѻ!!lNq<|ppuv0Y* ڥBɐ. 8zݗJzҸQ̀y'_Q*lb{XV{ܸ}F&@\݋駄埳 nmrw3q 0eryz W@ үY>~Z?p׼n i$3P CJTpN3Pw M[TNL;S? O˝h;EKG ƖLoDTb2픛 (xh]Ԝ S ul,83&:sARAߠ4Pt߶1,UqF8'2:b{p(ؕW9o ~bHj!vr߭h38.[6WI9*X3J\fNR9 ;Uԁ\hiɿ68ap1s =j4#v\Xhŵʖ橭6C`M([DHht{'%Ӏ] qzw&䵣,Mh㘙 9pz p@R!@ BJ +XF_zbI klOhY3"g~Pc4?EB&V+;>Rw Qˏ8`ʐQ!ex =!6]F6]V9y0eĽ-YVΣ:Nv^dIm"5T}mmsV`$Fr?%ۦ$]ժ; *jL:72$pEPoo!(7!~-cTsؖ2yJQ_aAgAR+^qSԃA*ѝ`-, d5ZEC_jiѼ3CR xyp' P&.ZUw+fBU!"(P3Coƞb@LszJ&EmvgѱzW@S.l8On$Yh5<\2 n-eJ3u/m/.'$ Hת`2<SsN ^W5T>n 1K;I9 m\vϑA^)#in \2)J+.ߟP%/;ר޼BZYdWyȳ~Ǣ G+DDu[ҒFmOs$a#3ğԅعc擰;2r\R_y"8+zgYZ870894368771a7282f09af189f2ae1225286b27200b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02