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  8 8=/ L ]/ HOL-Proofs-Lambda:threads=6elapsed=110.785cpu=140.632gc=6.108factor=1.277zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[ wy]{Ia?c@%mqf{(9NGT˟ nij>Z1S KyDRߕ9WU\=W͡ {?[@ߋ긡UYO<ut8De!5\rt+O&Y\-NŠtd|Z @Ψ) ==Ţal$q0?:]>̔@ wǎ7@K1A-p!i 9(v'Ry]miGz(qK!|w$oˌ &MJO!e/ܘMٔ2R&OiYÍYfǣem "sbz\(j*gYZ7zXZִF! i^]ŗXiɟ1˦r+g'^.e#M˶pFrGҀ8nNlʅJV0YI X(R7I*…̾'nP {{6-]uP}*n."0먤b!vJAm:+bĊX/E΁d}HԦݘd:"įvװ<H${>3 *z͚E3`ѻI;iuƌVSo"jdjV[d1HG~1&{ANc+G-J Hx {dAbk:K <%"@^&MMgYZ7zXZִF! ]ŗXi%92DM-m*@[7nsgU\(Eu,M>f@eY?kq " ѵtJfm2LϏdj C7e 8bqXf`]ksj@B+$ dllp./uJ]l"|6UWx:XĊԈWxXHfqaeԨ˙$ӦaV 5o *|g_n'aJ ȜU7:.ö@ 5N 5|Z*o"&epۯӒ좏˸:f A sи^L<^4.jU(oҁLC6wG`N2PD*_TK/)#1nX} 63/XSrREݚkbU:)tJZ>"Puv )t~Tn5}_ƞH$f+92.,dZĶ8GےWrgwJɗ1nNo sq7y)޷:]TlX1ͽmDbwP~ѹVUර$cĤ~'xQZs e&OY{V2 / HOL-Proofs-LambdaXmgX$H=᎗EyUT*+2Q%pU KB$P$hGcK *@6POy`J>$}he&qdOZh}F)ݧ"~cB~+Ӄqy\rc A^5Ҁ2/?#І 04,$s .+)Cm 8w,oQ򄎾0rm!7?/[;]ĝ*^ U߻ TS?d* Fْ֗3 s3x(Kf}IKd0+f؄8SgjS @`)D(3Ï5pQ#,>O)AG[,.wM>Lt}KOz:&N0gr:V$Rs+ÕMy騆sX5f -!k&Q1pVL>F.tbmZEW 0Vg+XPCyܥW/_i .i!Eg—ZG] S*y||xMew du}}&?F ~^ɣEs~8s KJ3O{ q"hg~. 1IHV> K>çps|ݾٸW@Yu>^2<|D߮|UFSWoM3,yâ`KX0XM$g.nR@Vtbl|yu@y'P4dVO() iC?t 䏧s$N..Ua,&OJ[Y#&>ܭWx3#ӛbƁ]FE76c^2]syԊa񧸞lsoO]-P^4!g0ۻAhs;q#ύɘjG=%@l3?"00- ݙw{ЍbG2o@ 7tbg"˶\6qOö!%ѭf0QM Z/˝wzJ@xG!yƒ U *An4o؋ӫ$bpy|́zƀ检d漄wt2,QZ<'?~E 04;MԩJ!D *?_ 'zN<&r3ё[/=Uyz^#!EĮvw/pl1p* 7wы6ۺdqeH&\RaF>#!Àbc0j"d91lB85< Vb_X-pԍ|p"7 {C,cǻ#Zj{Ԟ[EّoGHk_uIuN`7$fkaXo^?:٨UP'O)7^CZܩ(XH$ 8n֦p|ޙ>XDOƁ]WX8T1t]g<=e:_o&+(qJc6*$#1Ei~U/vq(=a;ȰwS\'U'pJe4 N 1UO]uv}cnZS- vR9iSȴPԝD7T&I$^g= ?]q:Ѣi_AD}??EpefuUI_$7^ B0@χd! 0|ѳ4 DPbP{FEޕ8k`ӏ7iF/Sm +L\CUd{qQ a ,^ KKq/)@ [X, QĈ*WaASP \m4I..+.$wفH@b۲Lsat5V|`)FDj|v) hdITT\U‘6 jnX׽!Z\=XE:ߞM]3pXkKAA7DVw<$-gYZ0b1ef4b33a15676e8d65c96429f44cea8ac84638341573a915193db629e8d127a9a53502c8309b6e fcc82ffe9af8fd9348411b1641e38041563dde1c