SQLite format 3@ .;  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  2 2CG Dt$ ]/ Modular_Assembly_Kit_Security:threads=4elapsed=22.026cpu=78.212gc=2.556factor=3.557zXZִF! Dr]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5ZpC,>)[ ڎ;ӂ9]SnYf|[ d9^GBcHh@&Γ+r ڂB,2=Z$xCQ`#Z92>|@' j^57v\hCыI/aeMz(BFUqq(xcN~I^g;)_(NJIq fOU}j'') ncE- ^sFUk?ƲM>6fBYՕAqC|갓kK~4O9ZWS ȴ-[“, +FFtAᰩVΜu.$Ey.*T5{5d6V/[FV|nd0 mfKY-,8}BjT]8FӬf!b6m<;k4﹞S\ιS|   G Modular_Assembly_Kit_Security  Bb FQѐY}8*Ì:@pK3vU}=j?T5ُw"+&|ΠcDݓ 7b;I.sH,)LˑgڅBӺ:@c8 hz\~Ԋk,sYXVl;Fisp dȵW يTX7B4|Iφuw'6.צKzH21]hߺyXMJ5kKWĤhWXs.Q2><Q*;^˴37Q., _/Z, EbgPY/Xėr׈˒~vfWQ[̂{| OEw));Hy'-Ez87]>VB+}k!.~3##KywTeDl_rMϲxl™qV盉Bqg=2ȑ/".v{i1}1UHU R; Xs. wY_xsGDQ/Dl \MP SծY 8@muyi"BOK1BxWj̤Q3k˃Ў8/{Tp~7r< U<m`fL܀ hvЕBSa}R3H&X97}1@~%}Njf 6!݆fʔE;{,(.cm_078~$gêҡ jȵpf,,l[^ \?sQȬ4:L_2N"$ zF.Mn9)?U2M~SL Nf=u؎;@xXߗTϮdN(J"?ͩ)+?lV G1Yh!znRFnnN Nr'a%7?s,*^IEwepkqi'L+vDCNf>KO0{ ˖Ii&JK uv1b%)&{@qۈk3Z#3ОՏѣ6H<꼟Bo3W#G1A\k ,EQWڐd,N3`,y/qS 1;rǦ`lluIj bݢHNh~6lb,>I=[対BΆfNv>%un+&5eNꕣGNRkkٔA.Oc OA'Rîlű^3vaF92(iBL٠^C&7،S~SuT% ]݅ecPeɱ,ί[ij.ko\uUA|h6_]\rtK PQ݃#՝F.*kt|-K踞Hڻ6S(bql \/o#SN85չZ{(f7H4PaO6ғ Q0ֈhԠ XU3K,ʔ1^VglEOOաtk?REt}۸ϯ>(N7h1Ux|Mc= =֫4khy .5559^HX5|/~oKwud^"B:[ ;zV_zW"6^R͔s6}Sɒn.ʶ|ls1aA<*ww2 POޮu"`otkuO-[C7y \-aY=OY,evkD?2d zd@\|5nslL];dB'7@fNİtIYhV|w//sn7648CF)(}hcHomYzv#YQiɜx/C8(h瑶n[GEܤ:}XfJt;L: MA*8R};O{>:wa H^CKq0פ@._ FWYŨW?')=E6pȻ.8\?c*m|i?zxeYe\hp#IۏeWͅM^1+||EoUڒ6{w&,Cb"WæP׮ ^}/_j:Pޝ!hH}(ȳ|=MRb';QaO)_RьRe%Fʻ %cq] 51r'ǹ8XtQ|iCS4^$VR0xO1aiO" ALQÖֺ‹[G bZDyyĔUZjiɻo#H}KoҺ-v lw2js:'^t\3< ɒnk4Q,Ш>>}*-tګc_* v0]qm_#I ^P6O0ol[fiIc>IfIC\KD`P*=?х6꜌epp`R׍&\PB?`M+MtJn$VZ_A㴿@T RDT7,l\"j*"I~`Ód}4b:ِig o?g i*8Gjb'z\E:0IGmf=7W'a Ɖm0 (?;*ۧ]TVZ=ˊDKjevT^]&aH0bc>˻nB*f*9egYZd157a58b50495d1a0719a81f004b8506a91d9543d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20