SQLite format 3@  .0:  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   jlL| ] ]Pure:threads=1elapsed=1.032cpu=1.032gc=0.000factor=1.007zXZִF! m]ŗXf1-ƕɸfn쉟8"74(ST*!URL6ZCUˑH9ۮLFr3(`[AUygYZ7zXZִF! _]ŗXiɟ˚Ћ. k$w|f 1%8́=S;0|v#鰩䀬5Aik+aCQ, {;ϱgYZ7zXZִF! j]ŗXi%EX$r2;np̊RhQ#0HK{4>dok?j4i 46{ U 7\ xٶ+vaF52 Y?|WacCpU)5̕ p3_k 4?ݾi ,Iy/k?8m|[T 1UD"vb6KWk|HQ'ڐiWFᵵC_ @,a ~gTeWUb#m{N=a*s;ko{oyT ?*q)W! PQ^.159)mc!OE V9؃u{Ь""<װBruS]l.Ώ0=w#'RN>M#?LH/KKQ1`.}`LxpB`v[ƱgYZ95897719a9768de84d4ed83842e61ec5288a0979e732dd65e5ab0cbf3bf6f7494d4fbe0f1d593e8b  Pure  Y Ig<*')PurePure.Sessionstheory/parentsPure)%)PureML_Bootstraptheory/parentsPure) PurePuretheory/parents@% TPurePuretheory/facts7zXZִF! xc]a0{rg+5\CJHa=O݅vH.4Y% 9yxSBƅ,ZSvhFS߱kFu* \#~"]`cQ!\7Sz8Br{;hu] :oxPLH;Ok%݀<D!j+>3~tƑN Gi*%[b=a={\)(Pʹހ< "Fl PW ͯ$WLE`.O"71O=i ?P,Wa轶UG XFsڪג 9\oS7+1|C[F+ js0 0N[͇![kgͣ_jKғ 4x<#pH%z=('RK>mJI鲠 awU-כnjE9~$4&^ȴSm"6m ftN?onVH^Vq 96CWX_ 5AHjm kb̎i [~޲;vSi`;!}I/pM <G|p]mP};9HY$غwVE5+qafTt_>3fW5*9ĹLgǍoǠP-\f 2E J՛+j _2LFBՀ776Abzp!9ζnxt=_v<Y=gS3?Wf@G/rN0lvcg}< b$gJk?M4`}*[8¾^C q=S'i_T):>C5a&gz!TIv$ƞm{v@ >'& Mya)dmiB-:C'/<4< !+ZHI Zs¹bp>QO)(H)#N@l l&2;`Lc؇jZϑY=:QUּ_zr|d46ў#9}Qf:9;kAJbs^"DV9wՑ?mLabGdeT ")gYZ ' lPurePuretheory/axioms7zXZִF! '%]a0{rg+5\CJHa=O݅v Z;UEFv3%3k!,˖܃Ktyg)PTG Em A:h`~NKnünj1sffiB+FjQГʆ}ҸN|9o T*/yqPQwC`El1A-[a@'b0e26-ʕ篻PKv3_3RJ/XkC{NANL~XOD }b>RAn:mi{M{Wxv :Ĭ¶JH*]~ wK<՝2o4>! TtlL萖eGNY&Z\T+?,OQ8!v|+ "Ϣ)*}V@ɌRJZ:mK-{`b1 VBBm5k='2$d{v" vCڞ:rgLrIĈ<+O2/;5=Rge칎gqNV/gYZ5' (,e$=?OB_:l垦U%DGrQ2yn 0HgY gYZ +Qv+%')PurePure.Sessionstheory/parents$%)PureML_Bootstraptheory/parents)PurePuretheory/parents%PurePuretheory/facts'PurePuretheory/axioms'PurePuretheory/consts% PurePuretheory/types