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 w? <\4 ]/ Lowe_Ontological_Argument:threads=2elapsed=17.331cpu=13.136gc=0.184factor=0.767zXZִF!  ]ŗXf1-/6vRZˠ3h yJ.d _ocd"rը|T8`H$BKܔ4)Gl*c[ uD>?m]/|TT;y08h)P^r|!8 i.ݎĔ\1KqwzO9}h=-P @30DUwP6!6`B|ځiqcZWӳ7!T|`Yj#O Fvo" s.ˁTvˮw1AcQ؃o@Od!X7,)I>a9 ,Cp@5і4$egYZ7zXZִF! ]ŗXiɟ$is9#'jȇI[w"3_iMȥl;X{~C`:![KST+&١샟wʋ~%^O-H:gEs<]4pKiWYāS{q M%pGmٞ*>IXfgYZ7zXZִF! e#]ŗXi%>gM:i q-#;!xx= cuLrsEu{C+/J5BEwA"svq.$t )OI|CNN#. 4 94ao4Kcjhm^畫}6\?=/)֐0 K onwe$Ƿj" *$p$-$:8KlG@8X4BN ; !UI>-۝I{2߹4p/KImwCI3D'0B0 EzXnˬĢ@H/ >65jqb,X=4>wQ~.ȧO? X Rsn*,O(P[eG; s< ͥqBU F]. >7|zRg~H~|'utGHN ?Dy&BK 1)S>[QX-T-4+h'lU=mT)zsp|ETUHmVX"E,yL Oo0(JM"ݧ ]=!5[! Xj4gP%}5qo5]P; G\I}~5a xPꢂ~#<ÿSpZ=,Cxn `t?\bc>xW´tU*eE,G~ah&=@:;|f9+H{P÷AC)4Et[NKj)A0?? yoуT33LGW㈪ SqYu{~6-3j }&TUh<+Z] Rih ,V.렻kPmq=MN͞b̥ -/ǁpOoJp\[#p'7 -b= ٙgU`e8Jū2R H=cQ"(}+ۜPm59Iz=hAl=lOҞ ~I:41ǪMRXUs7lab &jr|L@Fl fp:.%.ƸO]Ս-3CT>+^LAnZ젘b  L摳V5b?s/|KdD-}Ź%L'h/4ŰS484b*cN޵ԛ|#(y{4