SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info xxq9 $ c/ Card_Number_Partitions:threads=2elapsed=14.666cpu=27.972gc=1.012factor=1.917zXZִF! B J]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-Ihp,EO@8hСMGq7 skI—g3bЭ]!}OP!!<a A,ڡM6gwq3l&JVB&T&t*;hv0+QXϗ]R/5~^VM\2 ʷ=fO}PZYh6)-۲o&A-lWA]EfaW|o;Z/c$ g" hKC[eVZx]tOS;YU6 lLC]@! uru{Ԏ=6xooL~G& '>02Lġ|i-fsB LǒVqd?UoMD`rXv7fGgo=!q,Ս4tqpP.MM)B< W⁽2k:a8Yh< wVXgF%qT 8l24K.OŮ}W7Ц F5Fě Ob:ѿs796 0MgBԺrnVi5.\2Jb{&(e_=o,x 9 Card_Number_Partitions\Z,l2}FNtLϿ{ E؉ig3CΜm=CQ{`ӄt_a[L8S,vEavq3to-6}o!gM#=.oޱUG Yj[/B1+aGm5+x(}- guy>0Ϥ;O>SfobΣKW>sɻd+,U9Pj`:bX Fg԰$;tytGømi!8G\ӷ;O:2-/ؑr$/SXpf='bvQ`IUS[&f٬#Tۅ͏L>t;UA_8-3Fyנg /X򔤓hT% Gآ(TEY}pqoS~6%03È<**m G_"*nr7bN/JVG{\N_7J;b'|?xy|czr} Pl,3|^jn7A0 wQ$F>>ウ/_ʜ4]KQ3o $X&=mm@mk gX u}³a)[Nz־ ]3Va?;_b"R`]]`ejzI&6|h{3? .6+ո8Q\umƏ Z{V|rJŽ@:la7c8@Ɓ'HPglcR;W3B˵g؏Ȋu;[Ss %yҢ%F&c-DSɾ%F[)Br.G  =$JN `q_X [J !^!鈌k}=kjF6RO=bX+~4*T5žQT4vt+Dp7 b;(}sh^`_Fˎ@duhGwyNC|66-m$}=gjό -8,y_}Foېe i߈YEtGϵw3 *n 3]GOnSB IPiӭrRԟjqE3c]4THq7~i+*4+o9%T*_(*=Ι!rWqp% x ?/#딭Pc/j9C+rZ"j(5O=e?y?r͍1vu݅}rwOrnnLP 0et_EX7SoSW#j$Q!].'p"q@q:bfҀ=N['iÖHޕ8Mbes|$0q;/B~!C$A k` lZ+9I3}{Q&p!QSP10VُxD4<&zҐ y*#gbAC@G @d34Jcwc i:yyX;]˪gS:Gp» qlDճ[Lw-0JF#Sa4es|u5+-T1T*+ޅ Ë``pPbp͛6v (SIMwunI\AG;Hֱ/ԵI8)U0gK{&Wyi!dP*? U71o23i\cwK# FfhXzL}F%~>XnC&,zBqaعe@j&mܦ6e^6hLyx ƣ!GE'sg1هGFVR":zS/uLGj%|[d;){VL"sEh KY¥N |:?Gҗqld""P|~ [zݗĔ1;4m:=o!4Xi4FI K(ៗ8d=ݹ)qԬWeP݈Ł諵M@{M6'òtG|gYZ7zXZִF! RB]ŗXi%DQFR2]HѡV0&?+xRoh=O 00>o-l'f'0ؔ&l?e/zBOІ`ph^LޫGC9|#4%uUC*_i^`jEckiaŅ"dո=Fr@[-A.Dk+]jB l˯A@e3M hg1M/9Bƛ&?rN ^/"mb11tQ7|֪Û"*ʜНirՒ*;3Vd@nrZ.x0ty,, }g L+5$T9aۭulSފ|PJ <FT klV[`϶TCle mAйM9rB}7|\.G ؂|Iś.ePs!>7Uܞɢod[KPn\$%xfEQ-G^Ҝb@1]Jxb]/a\A w'.7?Vv!%?n;yv`HwD>IP>"\-G( <&KG (HuLE^JoI&.fǜ \AaUieG68OY4'C،/:UȆ,O\FeVf6sEۍ<@+f|sAҺ$s`'ui_c%yT5W PٞVg̹dr 4EǘV\A cr7/~Nj9M%ĻBB`(O|@3!_U<:+S /!S= ̤8DO3D*)FK {Iaݏ! J)D-hip.MBtj<5̶Hp,3b-