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 AA4 $t U Circus:threads=2elapsed=52.651cpu=99.796gc=3.768factor=1.907zXZִF! HL]ŗXf1-q恈͐7ӺV 6 hD;V& _w k /3n^]u2?fFڂ}_d`/qi@V'6@!l._dK 1MKyWUl+(Bvt$!x.?Sy4!yw󧱟c˗ ^tob&ki:A:2e$>KԽrd{|d 3Hbhd c+PKNT ds#eO4RPHR\'TT3"2lH_cĪ)a _Za]GY'tfob?8N?lV< #q\vފ41fePm^H 8(!BKcN;[;wu3|nuSnߒ!C+ B4zQ1s:k:2wd4o{W oKT/T00ZüGM৤ cu2)_&f'ͅaͧ>U׼T̶DOL0HOՁgCC-Hܭq6SCxw8Ϧ wPLwu⯩zyozP]hUZS[>8TYFxh;L*FʼnHA2@m-`+h%Yh;?p:^#@vmY!th}y,*O97*Dv]ho<=Ѯ)?Bt FZ4D8:kkMhUq1J c/>5VppnE58Sf5խ~gt,LשJ.Cbj7 oJ%mh wq=ъd֮b)h9Nz3 Vρ?YEnFp}`)_EE7"já~i CsK`)ӆGylJOs-C I~O1JnQ0gj% QĒFA1'B;.ǔ<Etr*7[Mtyr!ڡ,2.]Lb}=&;d4>)Dx ?T~C;DksImh31[Ogae`#t$n%։ioYilG6s~Z   Circus[<&Z^z4G ٢}S-NX֌g5B)o"SFtևrecX 0`b-3֒7DrDt,Do:Iv^3~nA>V<Z&.bX'[f#ZDa"96r1 Э+O~AYU>xVFѻ7pQ}S( ѻ0|kM5JsY\oɀ]PHa/lWᅊ>)+~43HR_LMb׸ҊpQgy'|GE ij_l խ|;!V3:A`H` s}*HތAa o%؟#@Z]s \*[r*]43l+ªǧ2mpNx dB>T28?S1cj?e~"7l $6=4)dɏLt.P|QZKkCy9Wdntr;62g+ K&oSB%t2v HDmU>4)L*{n7T)K&l^!wt![ ~!w.C/zPܪ-٠`} eNz-CHVqP =$zwrʂF85&Ec*L=1No&:$(HXvO}W4OGel7ZͯNYD"xKIGORcw.*M\Rhz$7C]YMeV Iy!ε0+Q`1ۆ~,u7ሥL謞{w7NEAu-tBM:K%4*3>+#cv:AHdrc ' Xtɲ#ҡ +r|z{_`NJTH@BI=úW/>ד!"{2bF:lt> dISk, (3Fo\gπ9.j0/gjCJ dKuü44.fxFrwQsDeu(+Ȍi䃜Zo%8Xs[ g$"M=(Pn$$Z^%^4s# !!=^ls (h㗐_Fv2(&kvi#O&B a8Tޭ9AVDnFCL?b>PM _EËm JK\'5`d