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 1 $$ w/ RefinementReactive:threads=2elapsed=11.142cpu=21.416gc=0.532factor=1.927zXZִF! M]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO,ʀqkBCw8Kπ9Գh/;,C]zm~Z99%.)T@+`g 3ZMgd=^_rKa jKQFbe.q<в(f(Yāp0 KFfO'kĢMIPücX`w=GZ6уr ~d.P~m:fOevQw5n ݈DLB=qM\g^ܱLrVʓj "1E/̼op\GEUE+Iyx۬-cOLw(engqj5nA[ 0q=<לLVmL9R;j_kI~UQ#luo`Jqo *|Rʛ/1?Z9eb?0+G=-yBTn |j6_Mf5R+DUZ_H!`V,tέiS<D5 h`#l)B נ y8qy5 "ԜA竹"CNXPC B.!QE34W$Lܲ#0̤yqU֭qRjd+Yz2md-A||zk38ҷX#71>vz*o\~`]KXy l\KϩQe-5CUؘM#WpEG]Ȼ>aV$^+5N-)ksپMP as1R|yeAv٩4iKli-b(n=[NK3#KPk@GK{T⡁pz˨kT zŮe)ԝ @q$ߑ-2T]Ծ#i=s$1,S'z -?`"en'R&q]7(]\G4zUƢ:͋PG—D`o5=9 _&X3A|6\+Qb9E0Hn'}RjAau-;J nmf Ao6&т $ج)[jTB3!{0#̹ʙ&B՗=9¦2zܺ='.`xvz/V\I ڛ",ձgYZ7zXZִF! A ]ŗXi% Lj^I2mtȚ6\-_SŪPgQ31_"~?@xkiuC/+z.7DO³^_~) ZoP1[I q2/ޛkbG$}?i:T]COUL9Te+^x0J{% xBӂ J\ 4恜Mzond{oO|Bbۏ&K;MbjΈt܆yӱlI G% n"#9]idb9]7&"5,:ǻfVtDa)_/,s)1!%&yqQ&Tl;[;]rZƒy}LV B9u z, j+\a[<ŁkGFmEt_/iΧhΓe@^' iCI^w}w@,s'fz3㪖;mسl43E E3$>\W_Q!fz#Z`|pan1_zIl$ԓ[1ni]H82Y>7 3HջWkɦ|w.W(tqOMqUiUY~Oo@)  +BB;o]ӌyhM^+PBE9{ խbL@ :1 {Ќ#P OWj_ng`ˏKil_TAĻt~D UN`/{̌RPoCsPe㭼8$UW8|]*#K'VŖHfFr6ERa}R%?KfgU(g[a