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   p+ D, ]%]Simple_Firewall:threads=2elapsed=35.863cpu=66.940gc=3.908factor=1.877zXZִF! 4 ]ŗXf1-/6vR[]~~;S0ɞtx?ۅ==0! Np[e QW)'&[]A"6gh1 |/rKNU٨b,S|q YBj0.< |WE̿M9a!Hd3&%ӕ- 8bA)eQK\.Âh w ": FѯS k뙮VP 57mB,vmnBbr:< XD+j3ݹf.;g!D0eߑqqV<2Ebi)_ 'v\oP ߔ< f(]-"Rnl/IG47RSf%?8"4h8A_|c6C 屢X$; NPS7Y *]gGvaQXNl!+| 3Q$<)ՖOt~߿6ݭƣ!T ڍ˰Trb} Vz 0Oao{if=筽+OğjSv 4 zCCXWjq"y?9nw0[& p3 hegYZ7zXZִF! ]ŗXiɟ1˦r 5IfK",t2/eXpc[:1mQ/p TQg Ax `Y1h5zg;9O>KIxR4D$P]_;_~KR a +åj?_ԞS]de)k'fKemg) e:ZqOH&(@ ܯ0`|9@\{pvU-S]uxUƿʎzH~8~QeŭA&iv݈`k,rB} Q t, y9't Gqx-ʍ;N!6*wzB i}.,0&a X[J'we<|$O2 T)gYZ7zXZִF! | ]ŗXi%>gؒwJ]&47R0R V )_ϸg}ܔNCGo{$6`bI 1[]Є;0ă;)y$M{eW0smq(Fd0z(ps ?|l7?Yh-9c晟*}To"Ce"c6 ۞Lt ~ hOm[`ӫ|q#겙ؘ É&jr%n5Pz@dhXU9ܥME؛4U8T@} Z\Z%.>Tf:S' vY\Sɩr 9.`l18emVqu"['G.5rqL@S V(XBs -Q<"HÓҔ|dmyeqsN:lwKWkg =Ϫ#$OqSZgPѣP \hF6ߓỦr&O+h157]s8ɇ߁O>?2Ak;UqIDs!鷑 %1ӆҳn`qڜ+O)QL:cs 'Zlۺ :U;OncO;!_(\CEoˆquKƁg1gSNg.@$8SMPb:=b$Mu QY-/"s2&Ȥu k'WH D#ӿ}̦GKDGk-Үq3eKSImiݩۘ7X&AHF]J<CbVd&%y09\<51J0] }DI")lZT(4_ 84~A?(DcBWq<cʴ$aCETB߫`Տ3-"1&c5q }h\x#뚣A%8I|Fs3vxqLhBTQYS*|T0KpDe{. s{cQd6vO-`~X-Fy)'UoqdH/$YL$xhxȇOvm O-i_S!A^N?ZgʭhӫcD۔V=n4þ:up:pb h9UZ,pbJ>/%=?[Nv(c1<%/ҪQ H O8dx >|nsӘ3f |bMqJzs=TfYS! XhKY' B2eaH8Ai67sp|HCՃ4@kȹ 4Y-mvo%Y5XcuOZMZJ?o>V5oLXysc¬4f7pu'Z_V;g- YPg#+s.wye.YJjYPmҖ%Nȷ_`{EtO XG_f.$f2gpHx#h¨fO@zjsgG9X&泉Dc3%ƘA1_k7Z)41"p)w?ƴΨ\)C0w+DSZJk%L.P%SNTUdc~Xo dGueBJYsxԺ6@W0˽ 1m4/cnD$\9wH sO,=L?ş:_%'s `:z#S"#3hB2j8(6WG ySQ9M. mOG7h0,V~[TMm`G"@G{@ XA5m)%wK=hyf0ӁŎqPaiũQl$ra^yw~X#ΨgHܕה7r],ޞ>pL)d|Z2>-%=kPaBCŒmT'*4`(7χRҌOT<"iWutA7/6T|gYZ4b8981ad58879c3050a4bdbc7935a3a38905c29b665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 5c1fbeea034bf1799a14426df2cb08631b6a1ba2 4fd966131b80021246bdfa27d4fde6b7c36072c5 fe6118b059804b5c9f41ff216dbcc59f7c6dacba8120a306cbf34d18f65384d8708e0daa247c8ca8