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 d7 4 ?/ BytecodeLogicJmlTypes:threads=2elapsed=97.361cpu=174.768gc=4.024factor=1.807zXZִF! X ]ŗXf1-/6vRZkX U,ذ&y͡y % bLi ,u xPvB+ֹbZN!!95='Uc<^t?W\ur+nEV;Rd !;4[m穲.]EVj>x({yZ\]BH(q,+ZTM3='ËԚC1g^;^̯zN:M܉.wEGa~fc'{""ǖL NK{I-~Hz X\ٰ? @.[S7r[:PlkxD2EyKjΧF9CY%rOܬZ2pXN#ȷر&W5*Y_JM2?ͨ97b,p!_ޖ% #z8H~JHxSLJx},s E6YEi',8ԗ-leߴCf+29ͫٙV 7\F%dZnE ۗ"D[֜O Bʋ #z. 6Bzŕ{QKV^|,!NQu boe_0 Ӳ&5B`vX ׵j{ WSt3hոR9!zBP`2~<8[k$D{of;UR5fpn +]Okhլ[hm}& o*Mr)jtLu(8m'StxPQUl, >#Z񉞈GNYJLS,x7TpsGv- D5G?WA t2 9 $_=ld/󦼸A@TiUDwYS2\vBvMfoڔ]9qn%C<ֈ.w~WrNɺSGp~#U4zväT Y(񋖾p6dKDmy}QMosfJcIN>-I qRoÕaV$EޯU>4-VV=\5YǦor,u{9EQQgbN׺*=xBʰ//V_8 U=5YVhS!Hvo^2Zs9 n=/,k"R(!"blthN4=ryi| C\ף]nvR}q=:UPB!k,0$0O9`PJ 2Ϧ׹ے:@pm3 ]ęVMT8W9fۮi~ۆl9_ȴ(ւׅI_؞ح&KA E 38=_X.剳6D[u;!J!)G/ ~,= EtS4V*}'(9;`a$& ##Eʋnj&xJ1U7 Kֹ=9ӵ+f`$Kׄ)#x1,9x?j:5gq;Sm`]b輹ZqMف~ @UtE%pܝLV?= ׇN40} }h8OUˉ&zհ s 1o?0ͪ(N˽o{m3."K-+nMgP׎zCl ,k+XvsVF2'V~̋i[/So7s2ֱ-0^F)[R6GpW_^ ZLأDqO HCP=fax ɒx~_$F=w!ao\{Sٶ'ıgYZ7zXZִF! ]ŗXi%6枭?1G,BC9#&V(x7ؑ-s6㥲cŮXԷi'ha&Gl>u,ʦ>&Sq6 !PAS_7 l껥DǝlS|l9/*nX;W6H :OeorBT6;/϶a qov)6GKoKsHՊwAe#kY*\YlZt 0]Y$^Y01Z|T޵4;#NOK gHMѫK^7}#d |hwNAnpZWoV Ir5J_ [^{qb"Wr*`ip R3P6Z&6s7"˅m}`$mvI`oYWUZH368Svᖨ:pi$W^7äVfp4{TEB2{h/X|"/}+JzŢBwbvCdt?d\M,\Y wϋ'73T38DX" \zamFJƯC/vn{]tT =>p~6©ilbf '(ΌL&Vd=]y`zHOOm@\dbߖ/y޺ F?!׵hE|sىfn|桓$}*UW,0A8l?#3W= 09n0W1Fe2uMQT] 7 BytecodeLogicJmlTypesCl~F.=_VҏHk\qD*DQlJtא n(wS%=gWF:fXf|I^ئJs9`ugCiK._V7io aū=;9fq~w5NJv'ˁLYZz$M'䈇D\H=ș7#}mBBEj1%,>*2&3UJ j`Iv G83}Ѝc-tIxjLj[aNmެ |™/1JYRѧ诩xU^GJ1:O磧ՕP6Y<$+ 3.155 SK2uu-)+S;t5 | K/:lZDLP!bzzm;De݌Q怖J8hkCaly\¿xGg/]' |B^x|I):'YQIFM;C$ϱEYr96uR:R LO(Z+á]ij6bw6v9xa<4U1j qT\vGcbEw L3brrs[AZ6wۋfҨ7Gj2*վYҢN\>#T EWp AXîl.`/F$(_XDWTl)!P2EVU~G r Cs@gX5`99M (uZ>E1[)K O˥ \Xb:S-Ƞp N zWSUyg?bbKhc%Ȫ0Y^f D>RP/8c' H' NH0OgZXyZ|PNcZ)J#J;bLuvSFnkNeNd-ALF Ê]p%[246<7WTܐR0 VB$}:=UGzD|e`bb7$#'TI0 B]12ĹxV$"TTT" EdߋOR%tajc#0(p hưӝHG4ŝ8G6i'fmojYp*sWl0XczHpG;k/x(. oC7f|a"y9qynzݲyC1|&m8pzki/Rۈbo AU.=S:Hq;{9N!lWvWtq*8zɯ'@J@`Z6up@UZ7sT9}H[ll.JV'Zu%)vM`z[Ƃ3:.zc&bwH<*^bS. k#ivAI)C8d gQƈv gE;2woNU WHhzl[Ĭe󧮪I~cKOшVTvrcmt% ^,д ڞ^; xbu x%i_@`*W‰$TPnӇ2:uܠb,V^ُcr[$y!9l#%g/_oQE tc qY/~W/s㢣-ۇ;[x0w8DEiY (EEP2+7 %ҞIwEE x#«7R' LD3ֲ;em!|=?D#33υ*r{\xj) styHkb!}+sSgJ]t@RʀԸqouյJ_eZ`@p ; N#jsm3)SV忠AHկrf/%9ȇmV%`-/J0t?br:OާM}A'ltBb]QhՌu&?3!qXT(-p(9,WFhG+ ۶E8~|Vk-P&h+9FaIv1떮7f/RMIz+7F$/W,}} ҉IOٮg,s%P)*DJ @!w?e 4%9FڃHj~qDܒ4k.W.㓈A经{Q6Q 0GYS7_J^:zNیV~LKL&va``\oL$Spf4% egYZ20a5fa4c65e4441c48bd913c72ec3a1ab0ce61aa 4173b7b269aec06bfcb2191ae567c7d2a43f2760 5466f742e4a2ec154f5a861195644d2959b303f7 587e401b02d84796caa9f1747249c36c15d9e4a3 69c6ec4b081097415301df5f2292cafe507c4cb0 6ab84f45256f8ee94d5efe6e8355a94ce0c6adfc aa000fc142752531e559ec6d968b87d35549d0f6 f46d9bb00e6ec2dd512e7069fbbfe8ed6f52479a fc22cfc9f8de889d57691b02b9489ba4e3247acc ff2e9dde1f79ac0b03b0a61515595dff4b088248e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3