SQLite format 3@ .  YYQ77Atableisabelle_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, "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   X T +S]Matrix:threads=2elapsed=58.984cpu=99.320gc=3.588factor=1.687zXZִF! 3!]ŗXf1-q恈\T,rBV$--O:1XlҿuzVdtVBBq̹G[D+;_+w|a8Rɰv0z lҰOX;ealrpv8٭.)Bzņh.6<-W"Ҥ_2NہDM2L&Dm!)9D4k,h;޵ k;P"r ?6uO:3!`_Zso}0 7 )+Cd HKab|{L_DCN` qFv .ZO Yݷ;G>IӊnڎLY Hp4eKmv<,l_PW20K(Qo%֍^P:9YA ;vۉZ $, 4[; P(C_i—{^%N#p:bQ63؉YxXͼ+rk; W}X\)kvd|,/<$ۗ[DDwEQUo? DeZ`퇆 ]J _% +!jݧJ@L>&b3]j"lvq0? ev4^Qb_E\UD.CZ"1N =GīVT}y5Ed$7T1dbMQEe=hܥ&d7H "~,#wC3%=&b*nP_dq2D!v  ER 8}WB:(Om29C'G^Fb=ѷ 4~+'Gߤ^ii?jJi ܻf3|$s](TDETr{Drz=OF%Z^ Žk/|K(|bVy+lԇ%.=X Kv+-BDm" (AHvJ 18澀 j@+d~Z@۱Kb/CcjO.+NM(quս-+B 3<[Ҟ$/E jYDŽs8/UrbΜXAě:J}䷾ۆ1ܟA|d@``Ih7\)x;D[d'B_ CRMgݣ)\[˯*K(DJ뤳$TA:ç,4B.gST%-. Ķ;Uvh0V.Ii]\/}6 f$gYZ7zXZִF! | ]ŗXi%} @S5c:J CRkN ƺ8YD?o'6 \BoYRNšt3$ 4 جS Yrǹ8hDsQQߐ❗o6Bѝ3 bnW!CKy, P/S5 <8d ~Tb^0eFȒZ3seHǫ&LEeWW~Tŕ|: u0WeMY;̞bk{BϬ    MatrixR:j}V%cd֪b*8t|QNy[ǒ55.BzB\QQAsǃX= wKF#ᣝ#{` /H+6R}:t5Qp.iFM0a,⳱#ݱg딕r!!|3&T(>jK;IrCg_y8k:'E33rQ}2"9˳b$$¡6!jxGL]4F냲KjB3)rup* :NyV ]_U;`H$Gw[$!Q#zvU/(W9t T_%VoA T-蓖=paO]n|qwՙLdg8~Se$ 0< ~L4-X}*0iB Bf9Sf( S*H,㖤 ?0цr,7e=¦ugk[CX$} )5 uLYlAEyA.'nmb׻ sŃ&gcPehW32 Y7:"&)G!͑Bb\`?~ sfJ HÑFMR:O~{7.cJ~~E9>ic[4%Qv@Q%^<#!`,+eGo3cJʘdo־VEG.gW4VrDȱ(Uch+h,FYzI Q7uBEr/Sq>Kww\ܓD@8x_!g ʎOO NO-V} 7lTy'2E1x 9I߽⡼ |R5#0 :5&y#):Qez!bO#Wr@agʫvr!1O 9obFAb<'-(iPK"d+_)rpibxVC1w _E/ڜܾԏ/9Vz .%x8n#}bϩ89C0yK'1(I;1 ~!xP/Ng?ڄC%矈C“m&ޙ'+4@u-}d1uA P*rUwJZUxs>şF SjX`{N 7XN0XVrZ=SyCu}aSqײVY! Dcr-*܅knD,GSrZ{ z}$8аW/g-iɧ%V8XB4"#PVwjK{ hZ3mJ4@h*W"ѻ.c1q9$6z 8بt! WOwpF1݌O_?˹P9Nlnq z`QpaNӜ v`cв k y鷫gABϱMbRJ{њ7p^«Sp[SlocyyDHt"eg$JH4&ߗni׎q#8@:#?RpuX~ Y3:ZǏdvڶ]wVm4 zDf\ 66` 'r=;#b'T ?Cf.ًCxdLsxC4p^u:T_'jMp{鸼8!Cq2JGW0!&`ux#GxCvob3_ 1fn_ZHA1氫$պN,ᖽƗM%gz;jGZ%Z1k!IϷ_$mIq#`u$EI^|N@D%3.%0Ŝm#txgQF)?>ֿ(LۨfE4v?G@xS3