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 '\ 'w UpDown_Scheme:threads=2elapsed=87.953cpu=150.340gc=3.520factor=1.717zXZִF! Y]F]ŗXf1-q恉<]d %S U |*B ݔ Ĭ8^nXԳ=c;#lB\؄iYr:8n˳EN$g$UF党M! 'NYҘ+߬G^7XrУx޶[ו0=}p`}{R%Ձv#ĕ㪚0# J*jQweVeS!I&RIȈ)ծB1{&彻i6N{$˩Dv'c ' UpDown_SchemeN0};na,@mg_Ni# p ߶rO)j JK%a"iv %_(ŒIpi[OhzwX.,UO!{Z%GH^x*PnT8ފWB]|šj qT%蔅ƚ%O wҸú ԿgVX)[giaQ0!XDW@AmD;vPGxbK1oe/iZ19Dz׻ă4oL:ycCrMH7-囲[r6̓ind] '{QLyOb gm1"H Jt4g&tfO+׻ܠzG$Q "IؼOd'|:7=VCX Cli)S}4YXҏ9 B>C݀FF0@ԅs2"&eR6.noӚ.LQ5*3;O>nS]VQk91^YNC.FxM},ylj+tJ_%iA~6_1+Vc|@X$ O%SZGR'OLC~rzcqē)4;M%9׹V%J4**jqb]`'[@uprDx/Y!hžH^ Pcr_^(| `bG)E^g6 @ o/xˑ/Ȃ8}|T$4'&j<3 a+߁csAv>eEm 0֭7AV+Xe1 Lu8ӡׇΤ| Ƞ}r;>ue7J;P1 .˃ ' t{Vʯ|U44k%PW6ҟA.kʲ%U@&o4Wݗ}c _FMok6!Ҳ>?(l*!=󅣻[߯!YoLTV+s WV&}6pW{2 TLÓk;u Le4 c#lWiw>'z %LSG~<,L|'c䶫αkKY8TYA8*D{ju8#w*Np3vlS Zo 顁:)6 -Sae5{8m)HBxx̃\.jzhd ,Vu"rvZЁv456]g>8~QvC]ֺ#P5Z5fR?Q UgnVw>7/'vMRJ)tv.C/RY:euCZŪ< !7̿ k80FYꑑӌysWDӲ(?)l sݷ2NʏYʹz丩8| @N޲C,sgYZ7zXZִF! ᤧ&]ŗXi%+"uD&;5t~ýYcHJbYQWa<\;v0TDXAx94v{2*</9zn 6ь,71ӒMx)+|bQ(~kYEަ$>Y;/0]~zZ~d ~ "O|*/|?rpOP)yJY BP7?F/ΦXJq@bwIBu scZ??xi(Υíc ¸xn2BuZ?<ry yL9mQa^ vRal2~nu#c<6OV;iѯc$wS.g 0)i[8 wD: 1mUliXhd(e7zt/`xASJ:'z褍;Ԏ g>6 &뎦-"&<(UE(7V;t5aʣ-bg }C-B~ݽNT6 pf׋(ϸtw Ol64]! fn f##^ll2I }!.)4\&1MT -+r8Q[I򍚂RBYoYjl7KGCo spL4rwK KYۤ|bfPBگG"=OaSuъlG(@1Te.9;;xݎCڌRynGoGNZK*&rz5ZZuT~w! i|p/+\_iH%(AG{#^ɐZɦU.w.u C鑸E16ҘR.ɤ-hӍ|Ӹ0g.Nӊv-j|0-š rJVp#÷~vAυ)҉{Ŷ$Jl[;" D%lY1C/)],ܙʐ'~A)!B@Wdarɛry.>cmתDbeI[+{mV%׉6&(6DA Sktb7P++6[kNQOˏ1[sN Q54#) ?kQXna(֜miҬ fwBÆ$JK4L/jyp7dhu)Դ{jK4z\<-pEϷD\tx K8n6ae}0ӳEb\UWܰ.qMOz!#aNĒMj=϶A?A5Ԡ$Qu|{.48ّF\e #=-"s 4h?6sdy{'c+!\A/D\oѤ[*wr+[8b@R^r;QGz,U@̉[wsw\_ r8eoܵaXCcns#8@m! Kp=_>!ܙ$YokR2 џ'rՏnL)u`B\Do? 6ۆ1t)u59F` ЮqL?2$]}8P*JSu|YB=&܄ή57/U~:YVZ@UCr.-:NZB4Ǻ{ >efp))ޮ<Ւ@Ҕg5˼`&EXx1.2)>?y*ʛl*pt2S; 6̚2yۦU_j|03(X~y\]r왒uhCg@btLHas: V_ur "-(Xhh|wY=kAuL#ܗl,~npCN:ُ] r 6"wyiGw {QQ4=]a/6MEz4)ڣoB04i2"@I)ncv$ۦo)"mz\.}={2. "4Jm6Cۍ|[!L?w~wʕfX7֠/z2;+hdM:~:xc%ff;'7Ai}ܶkzL9ȸ`c1#QW|c4r$Q9xy'_thYQC;HZ R*xBP8~_mG]DH i"JJ!aV=>7ǒ\)ɒ@{q0y% \#q}Ry>OZWMv؟d'sn|eK|H͓,6h7+׹fЁ=+\!>dl읔z1-aW#<#B=M v5G05+8ݺ"D pVTM{ͥKcW+_x/8 :av) ksQhGwD/CF]ڲ)-'K"ARtt,[q]L