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  + ,T ?%]Landau_Analysis:threads=2elapsed=13.758cpu=26.604gc=1.576factor=1.937zXZִF! N]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1$gw(pwrH?sSfA4 RdzY }WƄ^sRD A*T)l+S|a!8=m]` zpF*MQݞ㓓fҫa# 2!e'ZĆHFr тZ(]7x(W7 T^&o_XCY y%iZ^5;G<>; &Pes#3lp߉Dl2i~8U}CcuRTrmzCjE\7n + Landau_Analysis}AJx`/@I\ 35{tIHҊaiN 7Dˋqe'|um ].]sfSo`/`Gl; nap.͂G8 iV+V 5 FRBgLa!;u;||8e\Wx#s pC;y?:}XӕSַ煪18Z J0uEGӧ:*{% U; nB`p}9(%~\ +$AYG$Kqryd-rE6CQD:R|ĸ^jΩ(:'}M rzn;ՠ'n3!Ω;`ĶpWLKP҈L rC(E._fdnտlছVN3K9褠ǁJfyCCmy.X3<9N5zֱM9G>? !1!{:3#(d닗0fvCS> $@qB:KNJ6Nx5/T+ $(ᶚ&cg )G3 bvFE.5)v='%(GWp J&E%U::{tzD2ZJR|-. @U`p2uO'IYB|}Uf.M~ 6Q|0v&U9ڽrSd6uSw7,wۧ^l>p\Uq5"ߴϨř~f'/uj~lrul, Lck"z(7%T[v-ѯ;m#1D`1=.O8b + V yCńb U4g*k߲'/r2^]/k*d+KŤxEm Vs_,t0*@p=a(8^>^+#K2"?%(jKj'Bč̓(*Ϧ|!Q]- p\EXH͌݋G!>}HN yD%x"1VA1UG"oq [g{U6"x^4NϮMbb0cue ă{LgE+PU_mw#C܊F$T+!>ɨfAINIy \Z]`=[B>I.#foo PdBn[Ik!ע?Q8QԛRᐼU`+ڂqX#۔J@cZX~jWFY,(VK-Q˝RTQd6hĠ\7 byN"h\jx:47 _[Lsl߅Mi7l?g3g(߃OFgYZ7zXZִF! ?cc]ŗXi%9<!w(;kx,Yu;X2aІ"AoX3 $o:HڲFNOa m p;} E5Ջo]F(7MKu.$a_6?@!ese>ؘ<#h0mnoe媒,M@s3@bE]%z&~N?M\U&`.#0v;|Ǟcb"vCa'~^F,*o/ۖ#:(H})OP(fъ;CARކ9Ty|Z^2ĵ.bn8hnaɼBݙVO@=2Lmv+WBTgEn*IY`gV)~] "X@zDF-&q4OJHM;o9Ekg+_=ԱGęC4,IjiezݞL XV1bTqm~L±%")R3A`KA FDB,Eb᫵W'l?a`$pn<*WT#MDڒ<(! O^z`i NrRk:Yos[%8C#GЫ7K'?t0*RǮBmU[ʛV* PZRi٧aۿUvln|薭( H͝˩jlI|[5lrAJBd{-+d S@$Y/< ,@V_zK2m}1ycӣfٖ渻IYH;n+ٚ~='rOeb% [}Hg}ZSU4}<;p4+ [[fZ~;?]>/aϙ򗋂SxFy#W