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  <4 ]/ Tutorial:threads=2elapsed=28.213cpu=52.412gc=6.620factor=1.867zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CX:Td>ާ̼LTmĻS?'룢g-6o@iQ=Tש6&YʷM#v=x{63Pqp[ɯ%5ۊaWeʶj{ ס@<ͰH?0]̰Myɐ+g ܿL'ΟjujZs \m1M@պ0PNVn)/* j:ay,EXMU!bZtڭk.ODS#O^06׿z7ya/ Ce<6V BIƭݓ }Xfoun7 DF]]9ۄ+aO `K ? 1n :"s]W9wUx#v|Vu~rBy?(-(Քˊ3ɽɥhgG;9ʓ "8d5VhTBνܧ=일A2)Q3DB0Ͻ/e^)d!Ļձjџ~ #DmYr~5cd7`29xsʜ"DFkmc+SP> jɼ zպDxܶ$~.%,l2)} ಇj׋DĩOTL}e4[VIGUh@KFa(s9&T!Cʦ aJH"ϔzq$i䶝vzo*q<$B ;P>g>Xav56r̈ոnX6+B[8>'L?7Cu@uFWa1fY`m|%\㽕6%qzvn)ET1=K%|i|USwNbZ[RؼZ% xPQ9]~{x ڦItD̓՚s$B̐m{}eSmU"@R.4emS#}g"7;=ӝ1,DJ_ w}aَ*)3n(·w,j Kf71oQe呜ă52ޑLsqXDS/>pxڵ9%*;mSF]$MS;ّv. xh %;D[qK|ZxņFVcxukMÂ}v Ae\A82-RTi@ M0TʙvN'+rG#Ӗ$IU>ۊYXӫu\x#+|ɪ&!}}C۫3>ǎdA ޖֺB21GeҠ,5h&D y|ym՚APd#c B_/$﹨H*8Ʊ~7mVeN&Cd-,~c }e%ک-"o$zj`Ե?WgYZ7zXZִF! vFR]ŗXi%;Ű?{.|^=`GC7gq1- fVC`u4~g~ת2ԘJ]͠yjИZ)`3F(B]v_y|a#f*()Y0TBsvw4 gGДBԿmqkx|ڿw^_;f|lZ7? rN:k e?g.ary6:yuײݚ% ry nM  0Ihи,MH LY \&=J0&8v >tS!ZEF&f{gKkB|{RDpqtG6D"=j#nojS @ŽVtU`o,׈G.Ca)[[_SuAA9ER]&BLGN&7; j_͖0A׳3-ˉMD:Wxz_ʞR{/{o HaC& 3ާ Ac3 lh< J<#*se;$3HdK؉~T@. 9( J !~ 54-?(WqݦUb#Ji0C>C^C4Cq ܛߩ?PY!?O(qߪǙf%0EVw?ݟU1l41I}`thе1(fx37۵q ec&Ģ`94D5E-k˷Fn\ɉ]5zrLl|^,?i'K;4LR਽jb‹#H)sj`3-83|-T! TxtBHǿP>ex^xez$׫1Wᠣ#^]JZt6E>O3RaS6Yqdع@OE p] ?2ˁΈ&M3)҉NFƥ2#?.^%˶*.߮r&@W5q)?37VNڐt/q|PCq2^auQWF(*(wZ դʜcqf=R2.%d_3'Y11ۜ0:4@fSrS8,p#r_h2؉&όd|HR>l;MC;$8o_nJݥv[O1%R;b,cu/յ!-TpquāKIHO.^IO l5FQ=O͗/beCu,a4Q"@ >_0A&B뫝5Dpk,2 Fu@D@Mߓc×]V }m4U h숆OʾCftRgYZ96b44d9efb59e024dd56595f6c0b362406c51c86daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5   Tutorial