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  |7,$ ]/ ComponentDependencies:threads=2elapsed=71.282cpu=135.660gc=6.112factor=1.907zXZִF!  ]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjyv;ILU@t䑛Re}u|uSq1֧ye\l `wT[6n,0?Eu/L$"ĻBaG`f*ڬ_>;fř(lhFHjȜ_DQ {߾{ XI~o?'ȥ.| )ߋn!pgq~a_ =8{sf *KA/Zиޟ}SS]z6 G 6dZvLJR ‹.VSG#Xr|Sjw(fڨo/Xt[GU )1J@ )Ro).(El(\~FjУ . |QZr(pɤfv<5D2?F֘(a P z2FTY&w1DgYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?B^|Q iч =J[׾jUGQۋ_.yeVSr<69xXR^L]QQ[z *#_o?r'#5orh#'`IB=Y _wRaI >iOLr +WiRCΎD+X 8׸1AS[F{|GZo_a|Pj=3Ю:|kFt߫xYҍ58!Nʓ|"V Pwg+3%E ;ⰛIlR0me:XS6h·/}v3y Z珐_ !阼=0lqQ#ŒM3݇i-(irRdf֎ ./&ޅ|?DD,{I^HM߲q]a}5ēA0;!ES]WC SQZ _rZbXtYiWa:Ÿq+bq!E0jwAZHkgҚu3q78r/FzW\`lm͌4,dl#oA((5KDF%M3MC ?$!;TelZEqdO/4ʹ_x=N::نͦ!Do7+i#:QllG.Q% hYk*wش6p4 v߬hQlْ {F,k^Vռj! #ݿif{!*oYakfM6!zpgߞt63VO.̔`҂-t?)n%YEDzӫd1 y\*6t;.kO 3@pA#݁JP)M?EDmK$}N`T:e\]ђs$Y%/P& rgG=u!3X\VRd6Lhj8!SuF}<_1g֞\q#NN t}37_hn0?#4%K, u`ԫSbxR|f8BVމ`6@ -ȶL@:3MPذ;=i?\Q{ē^]iĠbX86Ѯd rZAWԮ Uqnj7"v(#(jv3In"`w`?'@݃):iS%hPM?”u+J:xjr^W`džMm: +.l\ u98'kOb<mW~/۪Hhb`nNQ!vhgA"­\]B\ ;%hA-8-boD0oMfZ$@಺j.7Rݨ@hzƊՀoiǃGO»'IU v8)y'K̝NSA!"Gl2zXry,eyVlyYdB] Q{%%ã*=y*u~p!%5Ht@P!59'dUH. $jk㯮7`k|ahaLhMrrNJ:LEKnhc#wSIO 5|=u-iPn#iZc/D4Ĩ c#jgb5x$램L8,cHnWXocoٱhIxsYm*Iq"|0$4)NXD!a]l>wֈx! XVKB@;DQ3 0z=`gtVD!Nd#02|QKw3Kq98XΊ8QRcr Eõ, 08׺n^* ܦbO,O_w)ִnUԑ?<o!qHoB7f?6Ssc] XDK +xn'< kbsiHz %چ` lQiJVI+6oJaӠVbzCR _rp/+#\ь0ٕx1ЃEzË;_[hm`kxz!f'фf9sSأmo&TkDU%*Wd"}ggBkoG&c$@!*4@ h+p ~Ƣ/}hHs]SrRU 8Aw;Uo~-~2' #J5=|S TX=@T@m1,m\*늧V4;T.WvsFW!ށɜɃRz6X:_?1[O> txO tëXn/ʒZvڍzD~^In@_Fԑ=vpPe{`RM΢{3Qӕ"R}wT/~Y,wo;=`2$[]MZ%bN ǯˈԞv]_BOr^[.Jȫ \)k Xg1_{09.Ba稈בu$iVc"5Uu-x穼CĤZֱNfI*Z!i:HA8DɶxWeD=+O -YK5۶(yuiDy7N0n*ԒNR-vE`i[^`ǕAs yC!.?CP|w;<7[U\}[QOM^<ߎJ_hY /]ȝ їJ(7fϘ1Hvӱ@*H) S5Lo_Drɰ]Kvō93]3HynzgnH$4B*ؑ1fi|uCXS)sjtv >ȧ0lN*T.ѳgYZ511c6c6d7b49ef4caf51097599672251033e24708ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a