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 [!|l$ ]S Akra_Bazzi:threads=2elapsed=76.943cpu=149.892gc=6.892factor=1.957zXZִF! I5]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓c^cvs;Mj:L;71Zwv!<12X#7% Ǩ:.|P ʰHt1/6bEvo޽"fD.vOOſ)d6FBkV8DŽ(9JSKo]V1zQoהyY^-]VeFۂf Y'#x#U<ִȑ1'IWЩ-5[șD=gCX2 |ϏwbPEl4)Tf\ǽ8-r'yx.Z ꁴM@"jeȡ{# \ަ_L qNZ1R1Q?̿nrh&3W +[(RiQfB_/bDFOd5N+ x )ŏ[U1C)^:_0^A1}ee-Ŕ fm :M Iɋn#+36!(T؏jMXw[L[#dh)^l Ǹ)ROòqt^3e^@|fM2r˭ͪ_^e߄D9;{,'3RnJmdott)"ǿ] g,CKV =sNkJKyI7;?0O@fc]nK10#pEXsud]nks.04Hp$!fP-v OR5k #SEv WI .aFЙH͂y{re w|,H w]b<3.^ɼB]` ̍*S<*TER`\♃Ѽ88. 0 8Q =n2?2P?XuBQE}a$ݳD` ^Wv.ZL'$cqs grK?#Twؽh s[ft:WPY:_ OiL'=;e3Ql>;jn!*ã8,t9l >m~[n[15(O|AOk#AfA@%pTL KÚ˪ڞ fZlP uUӣu<[T"bP 3U0Ɠ% >#0S7Y;nΤUOol(x; [Zo$ff{q~x,Q8*"y:w#$F_uB.…ʧRìy8}łFU|+b^ M 6MNx%cdVs6:K;¾E]aEXa6Wը}ο٘ "14/u WCpnDn RQe8m9<:29qr jw++I o,涖Vl4WAeaJ7՟'36a`@ĊkUO dOCBS-l$R ,5Rs V!o =s[ #vW?T%3gf4gOwٰ gYZ7zXZִF!  ]ŗXiɟ1˦r+g'Dgr>{pNa5R]օw5YVw,l)ǐ$k8I@.)yOYN;jZmPN!j^y|i۝p1|Xbqy' a)H:GncfZ"2W'W5iNLPGv2wM:>,e[fj6{*\6[罓\)j)8Ggh6=Z۲~b|lAE,qWJHc$E3*Rnt&i?rInfт˘Kp#DL8.Y>B{Sj\aN󌳙#Ϳc6rNn¢0I sQ|/1aoT׶c6̔\[Ǥhak4i^ILSd'La(Z 5Džq`)ռ$NE!F 0ld0ǺrWlV{zGh60|3=ɶxuc7,Μ}rὊ^K2Fpz1dpԽ76  (&k_ PF xXLU*7TF;*_)oZ(F{lZhb- )$X!"}rHE;V7_\qPdƶ:"ѦB2ctߜwR[@g$o OZp{4!nqY[ni/P5NZ}@ZCOgB.ْDtbu(& Dpx6Zߠ-lY Y+>٦'ʚ_a5bzұﻍS`=P`boySŒ@V=gk XıgOV SjGä G\/9zO}Q_s\SŵLN vD)m0B- ;;H|03a$c=V]tݿk#[)f5YN, v$ uLY IV+,1>|~lz?>e)r3N_zbΐ.= 8 4 c-,KIgI]x)X}ՕTHYM$ $#9  +ۭlbSW<뽚F׏s9 cGcퟜB~n0~ Mi:Ep.ѳf~^<Y(’$BQ$Δѯ4=X)ycS]Ĵ!&WUE\փ:rj\k ؛/d,U(vQ52YσNg z 3 pѾ06KMDpRT)Nf0IVf1\K,R<5`:"iR;;w+꯷J7麻=ACKڞ(׀R 2cRQ>4:afsW,_)ILK, /K9e "N{xȕN=qj282QΗ7UiWS~mCT>bb< c|({k ̗۠:AF O@fҬ~ݐ!s0NެJ\B$ͬ? Hv1l|u'= If[c߻P 2a~+LNnAYc-i|QZıa!pbc]reX?m~g)֨DAo#FV8ao<*$Y1gYZeebb3cc1fe6b16a355a56890addf3635861a4420a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 450c54405b003d6f4b7501021314e5f7abe09d76 a1981f4ab585188a35b0c1fd3c9fac76f851f165