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 w' L\l ] HOL-Cardinals:threads=6elapsed=6.724cpu=35.844gc=1.156factor=5.337zXZִF! 3 ]ŗXf1-q恈<-¡$johkX2I)wý 1_o^*}v KC땃zjESc֙|vG>*XF8-6}1ufZ*DQzwA7(R]Tj6s¥k^Bn|f=E<J2[C8.nE>;Z.@q6|u;coY -Z7>A*rP- <.n M;H;so =\]LlydjPG#PBGa~J<ߕ,U=Lof0<ԾȶShhq[ 8aGb½+:A g_5mEc" ,`z ׼p`M +J)S n:qQ٪J&@c _Q,FӺgMo=`4@ kc}:+E ;8g" fS>q*ak*vƩv"PgYZ7zXZִF! ;&]ŗXiɟ1?ߟt;9BP2CZz眭5 ziZgKhk|kĈm7ɻXʸ~-x+O6kVN'ej9됃YӬX '< CIx P\vC^#-#\4ۓrʐ)PLְ0_p-rSBe`ȅrGx( B#L3GMe2}hѦ5eQi>OKHP{:7FZmS ŒZYt}0lUz<2jT4ܜ3gYZ7zXZִF! !o]ŗXi%6Us\\({n;6wEu|x2Ӂew>zb:foiN(""w, ˡZii^DnU7ea,eד^ޠ\|-7YggH_gf @)98:ǜ4ȣ38|^x »UD˞ɯcKfM8B H2Cܲ/Yj V^R-b 0j@D[d3![{!I2==S73YZ) }|c`v!ӡ˯)\8dp!&3 fB 8}bKD%Y+K17~P/M3|cE~&׶ITG{%D4!~e1pљ)\1xH4SM`Y}RRߔ&=0>G׼Ow|kR$~00JMYAHY1SWDM~F_ǯm&(,!cU;Wjr3,9gs/qqnNՔ5f#lj#h"dN}ƍa"^#D7a6 XF3 BcUHkU!7G},0ʷb`XF7a §fbz 47b KAj