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 Z Ld ]]]ZF:threads=6elapsed=12.651cpu=38.932gc=2.044factor=3.087zXZִF! ]ŗXf1-) enȈA XR„M7][)ʋC"ijGمcWkwfI%!SRh%o/A n9$-{1 }rv"eE";"Xz6i!\S1Y(Sy ΫBotH8-6jvA6>R9ЄnH~A=[dbnހ%!+0Jg" CoU #s8xJHn5?R)3a2[c?gYZ7zXZִF! A]ŗXiɟ 1FE`穵1AErCy:!I|Ӻ?ȣ$v jD}| σ(6(/;imY` B%{3x_XG(o[_2Kid, }5bEЧDG`v#e0H%Ov~o7RQ}!#ѥ/3O$<ȗmż zAMk^i)(F߬~ VP7TP|AH|KlK~WL!PS:^;{LǍaSLjd/U%o5.dڇL:%#͆pC( ~rn&@v$ HKƨD%nĊF 3^L6xr 6l=3s3fvRT SeWSbf/6r@>{[i &&y zlRm.?6R>iQW+.UC+ɿ`2@ùWn >ч4t&b9[ь+gf@sӱnϸgYZ7zXZִF! =q]ŗXi%;3\nt#KjSA`_U es"PX>yJ! SZx[.{NT`&8/xEԒ=ݪߵs w|ِ^̌45qj^o]GO1JoKF{־[,௙2a(<'k.3 &rU'> ށ!)HΥR ;pZ{} o%Iu`m BM4x lQ.TjPoM}ZQHٿeڄr KI<>Gt-Kk$hn&RBm $I}r>59V,Wdg ÿˆ!|7R njD}L'~aa.]ֲ)C% kDRWhF0i0m]a(5枂wI'AqNWdij>.]!0JC B8 zʼo!Jz>\'Ņ٤\õFѦ*wUN{PV﹏xc`Qgdf|2 FLyy[&}cU *}|֥HN a6V=!W%]ӁaSeX>u-0$a ƛjȶ/'d#ڬh;2Z5#K>9{ ƀ8#R|M=r,K?3ݗb0β?/lG:ԕ K= 4fQ$=hsqd.h2*5XI`;K 9qa6E]7S@s