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  ~! || S/ NormByEval:threads=2elapsed=25.042cpu=48.092gc=1.372factor=1.927zXZִF! 6]ŗXf1-/6vR[yK6Φ + ?:%Оos+[1x ͭ ׾fk$٦61BE m8(ͬ6կȥ$ Y?FI0 C \E Zjǹ GV}ZB1y s橳KFK} nP,$LtO;xl詗 K歞 aM#4*9 0=5禹fhÌcAN9a0$΂QzǑt=}Ǟk(NH_^CofR찄nh̞vPr6m,;ae",lv?%TQL~oj`Y>+mS g9!/ "\Xa_oz.'B5-s?LyZŸ^w^q]"w;йЌ%}Oq.ş'FWtC`P%;er Ñh, _Bk|nӜJc7ZXyM 93U^}\mrzVtVg֡g3 `BPeO%RVq u#4cXƫgaJ mjT 0rqT9%a#2 ״[L@٫UUJٶkSʩ~.-4 -ϖ_ώ j!~vf@ӢfR^%+Q4v33DP-[x-9^fd_f?{u |XܽFA=Z_|D,3p]Cf=˧pi$lD9Jݒx42WO9f2y&(PI┡;W_uWHaR?vH  ! NormByEval%дJҖ YO[|[WBbtNhlV_L?.IhM:W"\Y=Y=[ߦC)Vy7oxׇbcDYy ۃꧭJ)Į uN)ƿ~.1_%F*wSae]vheA|Rr%x?v@X^6ŖSʞNk,Bl﫪p1^)=1g[G5Xh>Xz)k}0.JTbsH081UeT c\Ft'3se0.zits86τ3)2X|el)|o:l8kh<22L 7C36%ҿ\cMQE:}B@k9=ukw(  `:ֺpܢg$|CbFdF'6Ͼ<ʅġ~tv*IV$SaϬYssR=́>RK`>UġM!,CXs=Sk?XGQ[/aTK,G~ 3[?@O#M+#xm1hL}`$`)"b ]9x..Ip\߾wɻA'$c_;\OCNͼydD@9Ђ"Ktsk&:r ѯrΣ)Q~ KhE@ФOi:8l>JX#JAٿXخeGN( A#q,gA) ќjF`LXa!i '*m| nX\*5rڌW7jiLZ= ( 8c{I=_ zje] yDF^a8w_3K*@aB_y{,GTIF#7G/҆x=g46aNН9,d&̊6>ET6HW+4={n"$f g/_D9˭&GGJpF=VDT%`tV2ZGc)AmZXI27#>o /An?PŸGĎai`SK$x f#>m/<qD궛fGhCm599cXhkqiQ8?w zyف@NȖƒ`9pH) <Tbg*,z>s-JxQPr&Pϙ8'b͕dť1TS``>*%)By}{1NG۪](*8`@:?tc9F[=Dj[DG Nwca@q+Ao7ePжa@j0UERm4C:c0 !L,N+!T/U>?YjCY5X^r)k`WT: D61]A2DπF_ Z+!4h|u,S|fz "|V@ 0gk?R؝#.5:_t#oLI<ҍp!ϱQHDUZC76m!w&0j|(%w*?O{{ނ׋)ۋlcӳ@1A6wEyaD%F|- :Y*r<ΪuUWSX,-ˉ܊X"4_e#%3Pu5rZgyb@$/b3n'78{'s屿HNA]Y?÷H/cSɺ]ura]XXہ/xD+GL!0Y !>U&J+)ɹ8 '&pWX餃Uw#m#9"(oƊ3G9o<|MVޖ/ws-TU:KGOgpRʸ-C扢wS.`ERX54cB;cH"ر:/nBgmpshDB['45$RS3yq7jY1F^ [%d+P_A\t ,`_ xtkhf61&6NFA*0ieyI"ޡIz~}XU|.C1MWgT"}{Ϸ( #,c!AG>}Hw\?^UCr+ Ch叫 5SbyΣHfU ؝7E,IDfȍ2ʮ_j `v ~7OUA'|6jA6ۿ]D@8V ^nȣcoIKp&o$'[^' ^'.̈́2@` _`2Ro3@>$F!XcP^}lOb4j*Q8ϖtKJ=ȩDJEf'z$PK_IFI; x(bD+_~8\fqa PuPomFFguԘ²:rqӎG Ty`&їXY¼HgYZ478816fee45c9193309fbffde927fed38a13f044 d45d00c6430bcb32d8ec28d5387c874d34f9acf5 dbfb16504f02920db603ce3099063e57929e36c5 f15e9a0267e9c882bbe66e1a762dde09b651a14f9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4