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 71t,d ] Root_Balanced_Tree:threads=2elapsed=83.461cpu=158.952gc=10.788factor=1.907zXZִF! B$t]ŗXf1-q恈%kV^M[-dwPt#`Nf #w\ӷSsxɿ Pna|`1wly0Ji4mCRO3pY0#Y FgƖz\uxZӅr89Ǻ7UOF9K21ѧO{x}T4[9xEiZR]naCg0 3 o!Ψk-D~ӕaHr:,⩹ʹ6rbul jD0 ;5i:9Y-TG` yW六(NlO%1Di6bmQp"Mv{P+MPBv{(K5 R=*E4ڂ>AT;mA#N,۶#Pzh%G1\B.&Ji3i_)Bw5iQ u#d+ ф9Y$):?YSX{~;5^oz/%,̺ r [y&@׼EuCZ[Mma ֚$ߑBa oPPhܴ]BHjơ*X2%qCnpnF0+p" flۼ 5$8!;ۖY*ˠΉǥ.֯\3ǭdWL9[ƒ6(UtL<3eKæӲ'WM4S%z֒lmuɔO ~ YEO{(2T(|^$CZ>x^l?sJ #(Ek|. -:,[n`]'a@E9_&_>cpnEfY;VKK3k?|<;O3{n#L$CV!I/ʕ}KQ1pO+6M]WBL0O[{+")YQmQ߸7fJ ڣ0>X,Cїo5ֻڨHmbf?~Dp`NKƇ a3 RSoZ@ #37!n&^8؉fi0_.c#ko"$tӎ-{<*%V,exᾫa_ ftW)N"ꡒ䃉Mpޢ9i5kت -5H&搬q9@3@k>` "͏ Y(%sdyB 6+cY5 4Cbic8,MgfA+>P}i 0'[\`:9rAZYqeχ_ Y8o+)X2|{B ;~-o!|n;b4Vx('C0A<$j e^_;CE>8|-w%=*ҧ?Ě2ѣLK9 Iصا*)Tlj;fN,LF|% m1gYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻yR3N ̮#F:Aa]ƻ:~.)7LQ%0O|! [QsK5 C,<>^ ޲X" S4V~k_SZ]Uěy׀*Aw2q G뮢 `QJƎ!+fUa~RMƢ@~(BOHv"R۬;C eM"tstf8n=K_ZE2 SLgYZ7zXZִF! k]ŗXi%;т2FLd7]Bg3-tn_ Ŝz'e/"r`c7Y?tv2JW+11HmPMSzULJdw1@4E2SP)U>1je"4ukV$  ,Aw~!vwJM{a2egFˋ-]I_OoF*t6Qu=|}e0˧ t22S8t&.\ߠh ZtDZ rCo1zu+|He]i~9&4x6* 5@Ar*{+`ͻy yDWb Q $(S0si 1 Root_Balanced_TreexL]>n(MyKbR"Iu92z V"^; 2TM|ge9?AZ@H YFTY cӋ^.:@N4ubβ˅\UA 8Dja-*O넁@h.$L?#d068(;H4"!);?;o{~bkأVkzG߼|~D%/sŒs$V|;+Z"NOo$DɁЄ' 7ߛxW1vOh,4_'uN;ho,m MAd[BZ3bNU8n2׆ %ij U\gs@p#B#GڷZ'(ysV N2#aA[lY$$meCs>n^O7[>ȈY}WqF6*4}8e챂 VmFk`jY# ^ )??ά_䖳R)~ےcjc/[pS}U_PU/nxsxB܎38_kV!XKU 6Ǡ~Gv[6FH&4&i+7U if 7:ՓѢjNj)V1둶/Y)/ |e) 3%4bU`UO+|xmsVR~>ՙύN-#7=IBKŐ`^k$4\xXy!qg~{;=_E .ザ*wdҺgsdoŐu;M?ݒ6QHbtbB*TKGj\*x;-SU>.PA?RÛHD?ƫ6ռ4^Y' x\I @GU+"0.G'xSF$C(Oؑ}ʽf)6<ْU'踓q%\vZ-Lj~kmGF|j~R637/ s t=8K7,Ń~~G*%UFRm5?GV.U _xKhG䗰LK03)UdUuEHn }}ZS4`o'wxR_PJP2ޠ|m%iofק՝a҇ r' ;˂zoz?&4a& hQffQ9c̳o*0/ A'AF;/_(aOi}vL, nfN/ E ρ'[79BAGf !0Az);g7btU^)dŀŒ6D(܍GfLYD{Vd_í|W><.=G*ߑl$1G/یm/;*+ onrvE^?+x2M_91w|!p;/@$ڰR@yڪkKݧV{j9ݥ^ ,CɇT |RϘdV(gxJ=`-28 lYKH,{kCVoSOr3m 8I ~(/@<D gk_ci^l+rm;ӧpڇqH51)9&!@H9؆m&׾]a_ u. 8~#ŏ[}s7~wPgEt`9qoZQh&2Q]f Y}9K;RZqG8PCE\2^ǼZpp% b}f%ߍSAgYZbb6315a0de589515f8f8955a56e31a2e6fe7806f79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069