SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ..;5 D c/ Priority_Queue_Braun:threads=2elapsed=16.984cpu=31.348gc=1.900factor=1.857zXZִF! tB ~]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I->,XϘƵJKvJuQj_&a`ͤQ! C,"jNtt&fP5sM+|KG:=;SܔTT(ҋcr1TږH&@(m]+VNf,~&@iq:H'pG/ݹIo5cFQt=wSs1 ;9:aZCW?OC`|^y& 5 Priority_Queue_Braun{H]Ȉ|MF1M{Z9 Gw3D̉V=mtV{)|oD8z~C{8^2tDx~x]LwYg׏fy)t7Ef ooJ8˒={^C$wM]O  m4防|R>AP\կZ;o]z.LzñsdnPҲ./kFY9 kTgm%g|&/jm ]V+&?Cgk )O(mш+~&~Fͽ4ؗπ"x|CinP`6|<CҸz+L%)2 Z&;e H{YIXGv|f<wB1:ؗP|%YGm|h;k#j71vun2yP6[(S`p{Ҵmo3mž#hvЮpyv/;qʹ-EequEY{7T}O}4ܠLa~1YĐьhƈ32`Mwh R2s-Vb3t|I g h\QpPz慯c?׻q Ѕ/=fke~_K;;}['RX-xyy+'WYa*߄x>uULXR]uQ1h)`O?e؃ t)AкCL/1O6kPvu#ⱋQV[-į7G٢W4 t`:~TlQ ɨBuxXꛏ]񓥒P|9/ۄ5>>_Abd {KIt8RzXSW>3pf2E|䩊j;kccfl/43r)[..F2θ/8/ h^(In{;lmHA9ݨ Snt;;ϥ.nG=|{9-5f7~.LŎ% (##Jkf~m=?SM*0y+j3.͏|K7T8D[uVaGV$3ͼؔ06c۟`a f8R~$抧v@V 9fe*F*,O[h岾,!HXǕʩ]U% K CX9ܦ(Ҟ Ta8yVʨ6L[$>[/o^{0 )~$|2DR9#ۊj/ LՑ-ʿ,ˬZ.Zo_tǖk/9j6턴"zcTl\k\"!o- & $C %y@$]z}lKhUOh V>jq,W3,8w(C$p{_?Wq%6`,2S=ԡѡhN_ESoDߢm|YOg_$ xgr>u$c`ܩ3:r) IR;6p:wh q__F9;U~/f O[3#.*wr<8E+W5w?EIXNUhC(Z[xZ\4:kOXϰ'I4:#4GBv&`fTݾy =g|/_Mg1ZiZ\% 0@mH$1uBsn?0cy E ׃>T!hK6aG!&MiӿC bz >  翹1ϤgYZ7zXZִF! V]ŗXi%:R*0G~ `ĪF1o^{1$+92#bgfLKS^ j]ЅZa\LZPf[4]UATT625*64Si5tAX%{ɩ{_ZX&*(dרNtu94"d;GvF!2W(eEhֈpݹpF(jtn3-Q=3W\ݒI= ,onJI ]e2evϰrQP*g鑎wX2mDa?`zbM|.Mys.<w;܄9ۚ EEкak:R`۪Pd]`@ |l{׋?Ų U0kD|1GBmlIۑϒA;[ ^)ƃk` <~fSώ+2R;8[7M=w:z{q55ǘ Y})"Hg- Pj=@@9y7,PxXVPfyX=SD0$r)'h/~{bm^@i2e·Z,ޖ}ٲG~lc>[!i_[=cYpކ1.! .ِ v)۶\\Ve2,g@]P+Hz<[>4œId+꘴Oݣ|'m׍X"oi2=!}T?ݸ)S_tdo?9,cًqar/зIO{/y2~9t1XR@ -Xc@UڢgU1%mB Yju38:{喧v~}ew,,ԟ~or8ct:5D$2zb[GrhEFԬZ#X%[$}غ 89iVHCN%|PC