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 (9\\ ]% Koenigsberg_Friendship:threads=2elapsed=60.432cpu=105.952gc=4.392factor=1.757zXZִF! 5M{]ŗXf1-/6vRZމUaHz..pA2`-*5",Z l{闸 ;-XYp{3T_SAL鄥͒ÞBD IG{3jZf*-kO_&\ G߿| !'ؒ"HP:MܓJb dv,|r50n)~?K0|<pn>E. MHߏ'.3;?v3MZC iN7lecJC bd&$ŷZBx2\?p(;>gY.كJ0[=pC%^\/"i" sƚIKMqv)1b4%$ASŏ y8kiӕb|NhpVܘj/kq[!^uiwdHW>J ho@ʟE MՎ6s`1t(o ,NDHAWZpRud0^e4=~l5ES 9 Koenigsberg_Friendship  VsQ+π5$ULXi f@m34!\cyRYӫ|❩dvuD}Q;O;s,gNE4_  $KTE|"wG@ 9HB#Qa%. TnG|>iM1'TtHS]Bdo0o_ozJkq/* 25E5lbب$Ө nkr /hG~ ZHۉ 6]yWw#nT(m|*R>@e6R>7%"H\?:T 7Nb4DϢm 45<}qn $'P@# xڥ`q`K]>&HDAk0wP@3ٯ_bM}, )Hp**^n3t^ݿ:CC/V DE\tA-_ cx5*U~=NPD- pq¼='G,Ϝ]o+&>b=1?6|ڜ:&7K{G7\7Ns`}==Ej(%ѝZ.b.+cwS0}"{*Ieٳ "tmYO' C=/lM >du)^Ib+cѼ`L47Іg@3 s M]F~nldÏ8e9[L.ݼ쏪MxҼaI℅NH06H%)[sw'ͮq/薚~Ek7G3'{pX|7a"i=-ɺb+ b].yիV9{t:[Q"Lj822Pghh/@3 B d^M`'Objz^E|+ҟfmE9Il"jD̯P+(J49fq 9jSD+@˄g> UEy Ob[*B6`>+Z -벓G%/UDCeXZƱd\-1)aOb,t0>s⤉hZb7Mu7/t@\Ab[^2SaK9 1.I_Jvx3u t&“&1Itvq嬩,9Y"v_GPڸ7Rǵ&eHY `,UP!{˕yaSN\?"IE[x>,EԷcq`(az&^YOuH u-1N&oV֊ myN$b:zeYUSzht<Zj"k( *Emy'__;Y fbfE{J:V.ݏZK^ChߊoHҩw$g7K y@z:5ϯԎ!'G +2b\aUvt`.H,0z/̱e{U˱k(kt\ &:,i=IRݮ wze\bT@_B];wE[Y`e_kL4(ߑ:޲QIp!s7`+DyhKE?A> O4ֈ04G?38o0; >r+-t 0#o1xQ+Y#@IhKPnZQlt*Wހ|̠jf%$⍈JU"mNP,$L3Ϭ\Ų"(j& 1 纈Kzm!LƧ_i}*Avtd?DRU@.=6DVG0+T^߳{|Y.Vft"h7I5TfYA7؛k( ` #'ӾXZ24YɑFuo3-hbHiLIgZlt}deR[KƕΏN(1cYO:L ԚC)G%p4!mdE'i&=%6-, e}RϬe]ds[ݜqBW;:CN+:K{7ֺԮw޺Ã;2_)`iGB\VRvK 5Rr7aĹ y2x<6܍J3' &p1$XEȑ| $iXBjOF@xiARWUq 2:bU>w"B]q>\Ԓ؂nK%T•j%5T 'kض`ڪ)'mJW)CEǩ'>>> agYZ96d33acc1d4429982235bd36fb8f4a908addb4b1a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 0c0002d06a43d865ea35d288a2517f41fd0b0c63 3460ceb4c1444dafb0e12baadf26946d42d1a573