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 r7TTL ] HOL-Datatype_Examples:threads=6elapsed=83.331cpu=303.148gc=27.360factor=3.647zXZִF! Tc]ŗXf1-q恈&!&ʁG_f @lEZGwa krju\ KQwTZY\OO2j|c􏹲扃ȸBTCs"i|3d*!JId ; zGV^Es}I\m7%|ݝ~=j,@~&ʮ&V5-Iݽ kOo>5 C a)jd= v'sg̫|JL\/FychjA?hk07<+G 7 HOL-Datatype_ExamplesTu{XHW9W0ceݪ09@ŻVT9X If mkDs陗xw\%8 ugo8 :̧Azbq/ojnAWUDMhMȊ3#pd#~k2l:2cBx`[n6bf x1ݹ-0(BP&J+r5 "Ա%&je!oR|󟓊 F]%*H-B"1h??Y^FY¦Y:RSiS r6T Y* D5Bz"L*cٱ <3սbU>. ;|xPV"ueLܠIV^-¡f>ՙ_id *tQ@1?WMSEc__MYgYZ7zXZִF! ]ŗXiɟ1)*uԚ@e^cLl`x(D1t&XYXBɑ0Kf ͬ`pѶQZF;E3 gBmf~i4f3hR=[.dpoHl Ih}&r:{zewBwl)Z!oKj@!;wB#؀qXz=HǪͧR_Vh=}Q `.7DF.rXad[dj/-Ƥ7>M/g$~5t.6>Q+Io <\8v#|3b>Ҕ-HNF<ϩױ,۾Xq9wIl*7~&Wu#TA:v1q)Z71T+Hj>qӤMi8s^z gYZ7zXZִF! yT]ŗXi%9#OeJj$ +d了Z&d=ծFL'lXw/2\,rBND|@V2 [PѫZ=]喞?fd\}߽A̶M (3`pD~&~Ovd@R L_H:I̹JRXy`'Vq|ziǁo[_(ЂL*ii ^+%, y\:#66̓@I1vb!^lUBK쑙W=ƿw+A=*L;-;B&6g<)R"=3@<!Q/-Ǜmf+EN; [0;xbKZMY:T,¢*me?oL];%lؑ-3{-vߧW%˘c;;PpFthY=[^`(11{j7K/X?e 0nj[2.gKdƅ,^ӇfXee4H&Mg\5@pHG59>Ҏ;R&ۜi=7c~n×i* ϷGuK%?)-{CaN$nPL#dXS φr": ;cG|>Pk~^kVI2ޯ/wB;TXz2؝[EzBxDΆ{m 3ws0WvSnL;#@k8W#\uS6u\x3DLIi^lEcw-0EXbZ;Gb?n]:DԄD&v`ȑ-N,' Vm7s($Q;`Ofx69 ZCs9u:,ͦZni` 5k؍e7<73X=NȖsMBGDZZ?г#P$<_)Z:7I+1"?}%9ʻ;iR璆'"؜T*̳kfpY[NCnjZSu5ȩ_IWʰ(xlȚ+[·3{W"F=ds 5LQ|b`:8{F!KCOXM%u65/xtlme%}a)ө(,5Xm2Ȟc`eOWŚn$[?SύއbRnR O1n[I0wR>>K@stX ;պgpQm&E*>#lVll=o"|6m"ble %)+FhpgmUnM 2~Ck$A1`ѱ8&{tdŨmX.4lo(DA|`Ru r֗JܔUPx~!XG7{bA z:'ԡe#92ҡϾ 1Uoa,)\[/2iEU8nl4SV^}y.G_Hb2!-SC lj̽kG;'@ea#[Kă? UuHׅaL}{v~4M: /t|B[>`X?[ղ m,.7+,H_8vY&Ey}<GՏ]z+pނ-"ʔ}t3{w󌝋=1s)Oy]ɻ=G{[d9q\+ 8ҍm]oiG~k]eմ| Y5 =0W6RUdV9Ck{*TEy09[1)I,յ.KeF+zH" o1gҵZXtx;I[T(w4DU;RZtEUVYGH*jMB'a,11﫲EP6*LF9ED+^T~xq]QP_FR\Ljf"5) 1\$dZ+c) |\ngGl*˵gT{.;yɟO2 6 _nэ~1؏S Ս bՙG:yYneðilV~T^FhYh q'.@j\QeFAKHùr:bS^_RN`  ssf 5$SRT+j7VZ"?ydHB f0@v$e^jjht5bP6 sBWNG@ʹ#u˪ \wGF=XZe:?M3V̐cw@YFOa%#rKy>-A}I=I3Eo" biTSY ʨ79WRtKDt6vȻ΅=c8inl+diO}? dX[¿r4I/}XA*r![\aF؅-:az4d8}m3eIZ6.>Wk0+|w3~!I@=08]d h qTa*Gp-a>3p:+?^b&MD ʗwΥEez"A5TQӽrKv.7KZn`:/!{TDi/zv%Qz.SHyI*;)gYZca4d84ee83dd3a8d2bab4830532a3bd924f4941e3edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f 9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3 91c1c9e9edab459ce62d0aceae1283cc3c035f10