SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  O `;Gؽ8nt*q* .#lw gh,jk/ENS--rjN3G|`W5J[ƇlinIUZQ@6إ=G)3st3TkTk}L_mhuS󠿌7k/zl}*Ķ%n,L@WtgY}WZTi|RSQN$H~p5fB0*r#[Y GIȑ>|:Rڶ""\W4 qV||+g6;ےf?Tn6ga˼FCIgۜvhM`d\$"p N`8R~ᝫU?~% ֨ב1h%7ỎK 3?e?Cbz hx2?Y{#0 ݄;;?`>'y#r诠(ZLTÞ]PHStT{08rη|c74Y%Z:gd\6Bٞy@qЁo3~(Wh-HwD[ք |!llFONe B FdKxr'YcnH]8 %1ь-pxWrdeg*˵?I2 2 ᓔE%S?y:d 9ѓ+ ~dǞRi+{pE dc @9ʾ-%|9kz#q7#j]jw n:XqlZ}PrœJ(|\DvNe!qܐ(+n0vU.yx f(<DB1F/ |ܽ]ՠxJ?.Pwq.`%k3J=x]Dg5Cz+eO 6W؄h;t5#/yG~z 0otdȒ j=Zb߆D0A;QkxY4N?)~)ܐѕ9Z70|7ٺ8rKy#Tuq AVIk. I1<ȑi92g1OeGF'2 [uS<2Xb1B lr}Ф?EΤ fUۭluPt 0s}5ri\•SFHގd<)'M '[%q<oay8&Bf_`9kI(k+VV8`Kk$e{5g)T<,5%| NAY7ܩY2x )5?ݏx :At9U0_pvn;gYZ7zXZִF! ]ŗXi%>g. +R%1@k ΁*{ug:fAӯxW!>3a7L?0}SJR40Vu+VIwvt/*80~ !Kʸօ׍j{Q,_ƺ+=FXm5Dw8!cO;\1-X线OqVpuc$ӸՍ YmLީKjvF{|qE,I+OaF$UdTwL 5%N`|N_k/G[s 7N%:j"JՍI%Lm]Ɇy{A_\`AMɵ՚BӂK>-$A!>\tc{ney]Q~"&!P8^3%WɜSYqUE76_ :Mi0O}G`E>CVѳz8c~(([@ p#C^ "NuWd;scJa.*Һ7a)W&!e15{%P$GЏeX/@'=gXצbmqm8PAN2f(o|O[ I0>~^^aZ_@Le˥CSL01 :[~9I¥Rda~z`nBSОV-ͳrH,H hWvN:WQ}aTN14dфەo;DM4@BTN%f('$Es8:aNV@$ G)4~Ft06MkG'$2@ɓ1ׅB֭jx%kbO`zu9<ЖPӞ8CE_ % J[g*XLeN@D h5||4i Z[fB5^`#Uo)ջpU{2Yu0oӿC[kC%_ek˂eqA,뻐 뺇p&f2(QܢwL &T)řU7Fv`AlD5T5)R1nA/% KSe,E_n>95Tڗ2JGvF.h_pd7qZ.9.R hjmz١mG:ː |AQ'h{w ąO"&&ߏ `>-hMw#U;mN0"W{o ̳7i'*cvģ |cN P|N;9p`Йkv5`箼-e 8241Fgh!w*hi2.U8E@K+2j)+@a|7#ka]T̐EHDR\f7LhP@Cl:EkA{j.ZNh>Љ|cJ)2n3.-àS`2.׶t;Lݟ ϞF9XZܨR 1糨J,QP[9i=yӞ2@ALX"]63b>I+Q 3;YU'f9.YӄoҧϚ\u@cr8xXП bةth]K^EΧ|W K7d$:@}o/Vw]Ұ&3VHN*Tz9ث Gc]Ya .`h'Bb \/=_ OA#DȢڟpЗy.;%wߥ+=שhcT (%Ό¯4KV;EotaSowBu={tl䓄e*ZD:ƈt#wA$q#O$U'aGwA(;LpW\wJ10= X-3*JX'/|F&兎\jZtW~%.Q8٧lT7{B+yW?аܵdN 2FK^ɸTʉ4GILF47Fp~1w*kcX,"zcK+=Tv;;W-~RM\5#2P;`qa?mGwu$Pm[d;,~r~~c˳`o7ϣ\VmC1@+{:1߭igYZe6a3a1bc319dfe56f1bb8986c5d0b2d96ff1bca0767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 88b4f2682bb4f2e725f7b620eafbecfb10667ae0 2f0373457ec77174336524b955169928c6b974e9507360d9b6f6d441b3dfaa936afcfaea347cf92e