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 x/ d .צ;] Ue|n#fk}$O%;I֟[/a[O61a֨(cLcAsPiy>$idkt~_ d%il5mTh N9TA1gN3TmpY̢խL]QUwJ )<` f04ɰ+-qt>4zCX; _NpiշEx]elg%MS[{;j& Aps)Yr=shB?&޲wlX^/$"&i1e|p &Y"nlx$:A"m'Z* )! yë\$u&n(gYZ7zXZִF! ]ŗXiɟT{F moEhuFw=xٚWl3;w/24Cd* -7Ck_B 7F6o[䋹~xM2LtJ;@IxYq&n0)gYZ7zXZִF! n]ŗXi%;C,׿ѯȠR"zAi$D/[ԈWxjߴWgaZrm. BB\AY4<)*;ħ4W2tt2 i]ELd8$aAӌARn.Aley^0^ l7Ac, Ԛ~$gUآ wߊqub$=wǍn(خ{Nj- ͈fk]9X ډ/<@pZOV 51EhV2$"д$694'?xA*C)sHO7DY,3pȱ0+z*Pdlv냍Hնj'(DyeȪ!.P<ϣcČr!+e=A!9fwȼcwhdԛjJ(͹y {ܛ4#cU3e7}w@ gYɌwĽq#׶ `]?Z E/>l Hq,dW0V@^nQ<+:#Mo ݑO.3nRϧHC;0JquYV>&-E(+:/0x۟%`a*se"rUiO0kɣ;=dh#M2l .2ofyece'<&|YE?JJJ6SD>7C8ur_-_` L*ǀde:{!+sh/Nu:pj hA-õY d{ۭ+$VB;`B{V}G< ;Fkpyǹ8k{0@,SPN/sڬyZO"up}gˀ *c5ٽ<, FRi(I^sM+xUa)}̯iw2H43I5-l!ݙV 8#i?Ȋ/GvdhY%?ƷlQCYmsd3 4^]P-WT/et SWW#鿤ۖi9 0 gZX;\nˋe=s7l+tE߁{76قDmiP۸,7*<^,OCКSP1H1 #*](rڕ q~P,#XüYoU=^D00o[~ ><q[FCmȗF.)]YPr&ĄG/ʛTg!uE\V?fYy-F !|۝E8@Q={lbN=0;|h`gʖ_RlPA8fUdA#&W d5XP:0ʆ%Ug .Ql#{?N1PEde=!/^|:$Π3¦=(ZSuϝ C?o1ojYˬ؈G\E#2 ahYCmHV6˜e{k^l#*Ƒ6jhMۿ5N'#6y4Vr6$G?[X4yCHK3*_JC|u)۾_<06SgYZf5a4fc0766b27df71fbe5f3eb711713170c49766a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c / POPLmark-deBruijn