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 > |d ]/ Tutorial:threads=2elapsed=30.810cpu=55.836gc=6.952factor=1.817zXZִF! ]ŗXf1-"oވ? VòSE{ l› M;CXfzί83)﮷mm7 ;{˸ `Rdv:^L51iz((@+MOoA *o}U`f F X>7!Wnj&KikƮ sp:;#2'08KHUAbeeSEPm`iM=ܨ}N XrB{, >ZQG+R- cHDYSꙴnRey~XI7iw6UI߇6?As~.V)+طVS "RQkwS B=H63O5zz@G Zl 2QUj(2P[eHwY1Ѥ};߉o#<fYj5xT1 {uJ98aã\Z(Ia%BWY(B,uQS'gYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUhˊ?=^_ͦJXOK\)hD0ʇdr2;wPʕ]H Ρx{.nG+ Um/08(2Mtݍ?r^LJZ^cȱ A</?SO]zyTYWOp` &a?Ig%?mA Upǩ;}ȩ\s;ӫN5;sEdϤc]$Rw6Z7H-W lڪkPh4߲? ?)zm_yQn#U/cd8JqtE cH$E Jf~٬ 9&7!{+)X"9/kusdvE4dwxN Mm[U&Nkf{\u_gtYٰG DLxBddk:RnA!.V$n6ݵgZV1 m/q*DiөyſaWH%fva!s*3Wjىm{࡮a֗=PDfm {M(O(d/ #Կ(_ECn64ku":oI "ñ~.KڠUHt+>!W0/c MQ'G2|ߕzْRU1LaIn w06h R h=gnI߱gYZ7zXZִF! ]ŗXi%96@7 ێ*)R=lHEcl_v#"ᢗt)Ϧpwe+>LZhKSzER-Ib G,#nBC$P3lRgԹ_/3MMP5a/t<4}VY0I TPkܧʃVS&(kS?aUC@71tcgvUA/ |M8h L9)k:;7:W6q@ﮉ.udX'IU[gK ]DUƲ\#'vI?wWQ2REb*SD j9h])eW:H#5aA5V!.Ifg{]2),( A8JU{BL?+gHop!EAn"o$g?íq{>NT.7Bz6+t'rhT s61=(8払kГR!revyp@B6(L crj`ֿz{h艪4LF\̙Ԅq?kU2 EQ2Y^U,묿b歹jC`4i{ʊ75@ s4eT*QTSߤ^폍S("E\إbf sX9 iEi_!-CHqdݶk-i2|T֧9tߑS k K*f vyOquwtm OPquUG21+()pZn4ҿB@B CNuqO=E͸Lo%!a+YH=J}iFu .?BÖ́\2hv _օ dxS[O[wMM,3KuV+C Z&C!2\([A+9HSK=N[ MksV?SZ&87/{ȫOeT\'-A*Ej]xTH_KaFbtBgYZ7766dc8d45def4a86c5d78c5d348e5fe40c4201c3fe17abdf9fa7db8d66f05d71667c93b38e5fadf 8e9bb4e670ef60c93ad8a51482f2cacfd3a804de   Tutorial