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  ( (MtRtx>AH'$Rt\:gYZ7zXZִF! ]ŗXi%;= rIǠ$` )=Sn*…j5+j ioz聳} NBWG\h`hE/A8"7;Bq_eddӣ,X-O{鵸C>@ґQԹ91_^1҉g{#<QChS[!CŷBΒlX 㦴 Z1g $i% BbŒ7,yZlT`gd+0n#O':+$T|A{v@&ghΕ1?3z.u$|0w7L)+o\p`of1 O6Am8ڛmocWcJF⑞6#6:    HermiteРfKR˽OcfV<aZz4i K쎜L]oyO!7/WЊ.w<v$ !YKKV~=ސ[nUf"#ƗbûQ[UZXǠa0=%b*G߀~<E! ͤP OPebTU󶀲wEչ)X0q'C,N8IW4PVHaH YKj_Ɇ 6AM5FpXPY:J|E;o"{OV-"^B{*쫍፺1z &YJlSר Cgݞ[?ͫ.xo\{Ք}N;зd P33 -[eFJ%N H@@v5$s*H/Hy=kplw!+M2dŗ}51Oy#+@c ͅ ؊9%o8M*J,7p*kNUEE>I0 ,Aή^|m*WnԞegVn|`Z "wx Ip,9Uh1OU!J"oFKa*Xħ+_f܈KI٫RmK[ӹ]\Co,hb\^L&#F {nߴj[o;NwۛZnBƅ4TJ j+p?Z]bL%!c*@8un0r=׽tKUK/w Sݙ皤%1Gb>,뵾lᗥIF[5;#\PM,bQEEy~p?+jq:^% |'H5ܣ`+HB1KCT@}іV3f `R{F t]w/7HRWHN7g|m=w_T"om 3c~[ޑwaO/0 gP탒<~^d?wQEcKiV7Gƌ}$tUY &G0T6Cu3aj$7x"Ȍ}.Uw`nl܀tXQK8ݧb@"`.#@]A0ވ9q~rL%3jLJ2o] 2)2rTΕ`GkF$'R-C9Y_*)&+Ti aDx~ bq y:J^LuzF1$g??aRNN-  M%gc#-,`dXtZ "QX>_ph10TP#1.! :xe1T=q2W$we(^E2)~qDC+8/Kҥ 'b BFx]^kn!A׺ȦŕUc2g:HTL}sJ^A+_D9r?P+M9#-KGjĐ ݟ.v%nSݵt$MN/Uvx ($z! `,ي|ŶisʶjS~7t 6Ƙb&? e;C1u,3xQZ$6 a7VFFp:v$Hٮ[B_ 'i]dߥ¨0:6D }.z[cS9H,B~( NY@?!]M\{ǁI>,?b1!##35 KsP99Vs%r< --/ɷܕr]K5qyvڨ1G18Q4-z 9^<1gWxlv5\DЧZ.ȑgA)n8O-$V 錄zqA$!>-v%{9?GH͝H֎IQP2 ߒ`uEw >.{&e2ِ`]Sέ¿{f|n!UIP'ĺ̮Pf~ TK5,G$J 9Oְh۫|^4%ǡWzC?,1/E}D3IX}f4G)C]fcGP'o&#[B.qX -mnG(^k ="q|=9s}͟$0FRݕMFtԁ#yX2+ʞGCq,0@a|@ -HJϤ#&ln±Y!FZF<^Lh6guՔ=o{?̫@(\Ue ^)+B?݊Df8Yy$KOP5^J94O5 *7B5݇OBij_kd }ͣT;iUw,Fw