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 gG TL ]/ Modular_Assembly_Kit_Security:threads=2elapsed=37.099cpu=67.988gc=2.028factor=1.837zXZִF! <b]ŗXf[&M^Ɏ`:U!$,>m.63M~V&*[c<$(}a s,ߓƤKMlf=Fbw0N5Zp:&!}VaH/|T,ꯤEs"SHL=IiM!"Ah0V)^=8bQ=ܒL M fmE 'a+h-(C/נeAlbYtx: LSJcKg@c"2Rir6 3DcؚXzfGZ&yeKz+-6 ߠv=V5}  G Modular_Assembly_Kit_Security  Iԅt iU| p)W0GrQj]{mmJQbAz0keg9QB2YRtVcFHyV]* &R{5#^e5ޯnoY΂ IY~c?ޞ)gTi^TEd` )aF v_A4kρFk*X?cwx8bN`@Z?0aX plJM=) qmRaY=x]O._=2v3wladV;p`,|0:/dn5! etf ꨀwf>S7p&l[tikʁ <\?qabwnZ)ifHOO fJ |t-d&2?C̮i;0 qgeS毃uc7soi!"B%ưĢf0s,#6l)29wtw=0oFgO\6/6&i/D|@GԜl]8 i~"K׾# ><6L%zq4pEg&HX]3_{v7AϏOC0à <#wwxӱgYZ7zXZִF! ]ŗXiɟ-6±Tdr-&'TQW o3 iX- 0fN`A$%eX%ƋAl<.a͑?@9&led|"UB,] wBm\ejGY_8dyRIQSmGsnUJ?R+Ó@O H NNjُIhYcV(y4$Nw̲%֣߉3jq'dnP^IO/lăuw% ێЁ#_~3n{@r=p]-o3bT`H5#PѶVG@Cɍ!{ҟPI>3T,xVu;,b h `gYZ7zXZִF!  ]ŗXi%>g*P׶QզijᗼX=Z_z5 Xӓc%';ԃˋ) F X"^ ӳ_=[7lrS] [qv7j|(E0-@۬}MҹM乭$L ̥я{?Ia9=P W"ئ_ٷ+ LEo ŽӥMQ>`feq,^zE]Xҕ[3ZNas_ d>]|g =zҹ>`# M͋Sں Ȫf<̺hDx:> 'Z]SgeIJi"ǡ8;˧ }D9OFqx|.oU&çE9>nahNe0aSI \],O+Cƾb^u6z502o; ['(t}zyY=R-*%,ѩkgҭؘ ,q,ͧ.BLBBoMbUj 1?x6J_qm!ENA:9BF&CYE x¸R~Kt/|1v];;n j:(#fg&pN]¼QUn]bEÏ'ꊻ90l,"fE%Wa]uhǪt6͜p\4 Z,U툺y=N‘T;UĂOfIJL?$Ҋ}O3luØ6?%TJr7C/4,^B~CWi-]B?Ğ5bJKkoc] +\^Gb)nЊ6PaETuv/`9m%=`1A^kq`>CMH8mB - ni{C@Ͻ\S90 hD/y}+ep cY;6cݦ*Te?:cR hyՋ18X|.xWFvma~^S_;D} 29Rmb #aHjHOl'(˳rf܏Vg0<ƎMي?۹3Y#/5"}ZK֙a^Ȅ_E/aLlqTsQZɪ[|œJp$ڪgYZa2791e8de126d90d141edae316801bd9723363a90779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f