SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  l 4 ]/ DiskPaxos:threads=4elapsed=24.518cpu=87.312gc=1.044factor=3.567zXZִF! )K]ŗXf[&^q)鰧vygD^g-VL,>y+@anI$/,wkʂ B٘ه%LWGqe`5{G+I6X+FqX^tK,ҶO5M#FEIQb#*s*k-d[_0Y# *ںbƫ=s؎7q"< L hŌPpr+5=1 vD0$#q{bFę0xmK}B- փK}RxR|%UЛxyaԪUצ>N 2/pYcoYYzуSI ss1 ՕZ*jX9.% J~@K 9׈1WP}缨 %O$5חt+a{J7C|,"o`=S7֌bF8}d1?cd!ܢjX6ؓ]ؕM %hn\%׫AlЉ57jW%WF5Y-ͣ4!?G]MKlG`c:ʒaD.sֵ̜_D\xX˖0(;"wM5乻4p.b@k}#9 aʵ Ӥr^5D P91)b"] t] Lt޽A}Ȓ.5 _Jx,bȭEZFޫ kញ mटr8wIi6樏e[cG\RXj![> zUrYgJZ94N5ehl*ji:@)OCW H0YPc)[USqZ+̟1gYZ7zXZִF!  Q]ŗXi%G *q &\> !le4=Pbhc73#,}g /n]5\N]z8A.%Az=|mr+޴s-êk<91ᄌsPP0vv}?^t7!@ʙSILB1tOYnTӔ !^әgwjj`Vu+'ly3m>!fI"̛R坡;$@J:mmC{}2~Dfw\?:-j&Hi羌V.}9H^<Nv:TqeS#ՊJӣ5LԗjVb/WlR[ګ +>d?wwfl]oTH?gzd67Gݸ}{fhc晞xw LRTNk NKV= w2zVmEr(KUfA61e19/h>$ ulx%zav+MTOPmr5/>LgX/.L8Mn/nHo^.Lp(OdEďW7?tdRM,k;OPwv]dkJqDz<*6>xs蚵:ҍ7774m*b܁X!ܹoe1Uy?=A$SAaX >r078 1q wsV +|׍'H{R~"V]_/)bٟdˏFvް9W!!0_I't,as2)>Ç,N "q3V}wLв;_%789N[7댝X8Η@ aZu5j6OSi]{M-H$0mqV" )jv-:nAULasA7_nFGIţ͏p^oW3@!Jyhj_sAM@KcRbjmiB1d75o7daSxka(Axlozȓ;bO.]Wԇ~ =Rx̿ҝ<Ҫ {㠪yrV葷׷Sr(x>N5AozF0%I^"r˜> 8`j D¯p81bVS81ǨztdO;Q̉c{'h[XP1.*O#3HڊxH>DNp-QBn۔S^7Tdw[ NO:4&H M5 Qfa jI ;PJ>Zi܍O RX@}^vWC7Tb:3oIog3Ni3GѸ;49^-YxwubTK M1u[8=^ZlSKu4 }(Xe gc#Rc춲BѧrsQkGf?FL҅<)`ӈ4%Ȁ+pSs'+sZL;$.mU(]%~+T] L4XPlĴ"m} A8ŕ86? '_;9^|& *S31l"(3Q(vK'֟}9W_#]Lj<UHUL[*eM(hF>1U9OpUBZ HDgu( jLݡ*ibQpI=:o4*7 vP Tiǒ Ȯ_㭀- jAh+Gk+DΟ tg$ %ߦBÜ?x1ۗ#TrvF>RѠL@pgK")TG*Xck\ \BM_jć'"Y]7hԓ9ga] sjI) ҕTFS6:R3(Q[`03zjU& :}$zVuȅɗ>Mk<],e}WS{+a@X$<{/^ǶQ*5 0I":ߠkAC&y_%Oa.;=J0M̳?dzK1,w񤮒JdDL98+xfO1-i+_i'>ox]z(ՖSigY(rkv-Wlfe r'+Կ3VcM +0IQ)KꝄ+Ð(5.V^{^D |$ ˓v"ޡCrW2mLEㅣs.U }Gb~P6Ow}Y&%1%5uB׫/cgg)[PIHL n?0!M |ƷoOk-3@ 0x9?'\ f(ƭU(`qĸZf@EX WeC&6gYZ1f812200626272ae4ee168c9f66a3c8b8895679cc2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47