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  V VG |t$ ]/ Modular_Assembly_Kit_Security:threads=4elapsed=25.007cpu=85.156gc=3.124factor=3.417zXZִF! E]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp@=IJfSQ a=Cp $U1RLe 'RG\uStge !PCpxb0֜agRY^!}mL0p1l2:3jnwp0Y[ Lѷ:XbK'(+u:n`t”20ۻ;󓧬leG0u!ޟh; ojXI,]3ZQs zow LΎ<>:(cAIa4-^@SU{˵getrZbsDs|K{#aoF:4\GD }yS vwoTA?_A^Q)%*)vtˀTxg[I;)dލc hDIQdsFpg 4_xQ{;-ݸ9]LVYlUW41\L5QE Fqj2Jԫ6) m`>_rĢXZPn\ø?dcxpH0n4 oHWLO=:9ɽ&0R3-M. Kv) b[EWԳJLܭ hĆ"X2,uKX}3 Ey=I沥AHq:&V/7/C4/w2Pxg-7# gB  G Modular_Assembly_Kit_Security  }RL_2R &Y!D,+2RWI(q" ZXOڷ블L;?ŬR\R 8A:$z$&v< r_hiSyvi|l'j 44vrz%;p?yCA҈hŮG1#m.8!G&|S'j mߤ:9\G >^e5)lpeu낌S_j]8) JE%Nĕw<ͣ[0d?9IOߞ_>kTUG{Zq`I|H*p%`3Mݕ.?9θN͜S +%l'F$io?[ uzDA}yu3%]+u`4r۴E#7"%.Ani5Ċ anƥ e.RKN2ɼZTK>hk?p4d&i 2ѽ 5^jKݽ3p^T\e4ln4?ǁ. X:NB5>\p6ME %ޔW石e0|#5RtM(.X|jy>Wm$nφ}Ġ Ho&]P,g¿5mPefAےq;uÕSv61$g$RF4%!MA?ݜK^Dgv.zHQ,}r?JԃKcx{}Prb; $ޫ羼cvfnp5jľNY3.on}eu[i6{@'hP1Kif'/Nߟi2ot-%n@1KF#9~s|t6k<*KH:sS}n@3#1^)-u1r{7 w?nU;$4~t{ ukx0=6'4}TZo#Aͣ ԗq7;MԴt}b!8S&Y'0lQ h iLJgN@ٞ66)BOşM}s7ŕW/dd?7&)J!HVx0'5t`J5V"K ͨl)^\202`ĎDRsJqGHvZNhj_Y45o}J;5W&ec?iјBzTL+s3+XeţGY 9pS=H O$-5AL_H)Jix Q[T~͛ԑXC l3x[98GUn=QilēT#S<'u'N 3N:m:RqP`"֦ q^U]HW,Pѐ&X7 .𺇚E-nD+LIG3D pY{*;M2|9<=6}>d< hL^M TBGbCاGhE0ڟӁ}D_ETp46_u\UlWNe[+`{a4ɲ(t_ AɀTN@|jO@<WgKϠ0jl5V<] {`+;ڢ:zXwL_LQ aS81H6~>3Fxbl*JC8I6ysŖFR@Cqa}=w,1Mtm،lhVpI]+stӦb_3^86&3}fHpOu-A| /w/%*48fb)>(T5^U圂߽%X=mvq \%,Ɯsn'?eYyTۚ'R X} hu߽Pr{C]o$cy7YU6(^ܿ/9K+ (94 .&tsp)CS ƓÃ٩~qBbcI.nj=7w^n>2UǤd7Q$25z4,zۥ Q-c_d-X)arf1 l0Up΋ 6–)_KƶQBt̢]-+Pp{8!K!sdPclha MT$0ϸsd(ԡDrh/j`A#iS r䚪k&JU᠌rTԖLnL܈"9:¤\Tz{  k>HX#x'O{>/ޛlMr3+Llm9Om7ҌO T[ճ٫f D/0P~Ҿ6 \I%_:BP./9B%i ;aJlK8)L{تKՄH$B& \ ]-Ruӑ ˱ ~