SQLite format 3@ .;  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 n1p$l ] Stewart_Apollonius:threads=4elapsed=4.278cpu=8.000gc=0.1807zXZִF! -]ŗXiɟH)0%ohlbgrz°5b+R%sz hvﲪ?JGTXڃko U7%Ab 'n` CkC$\4\G ^}>=[Goc3T 6m, 0x9^ѝD먢b]ѽ?.œ+!b}I V;E[`r `%O4 2 Mfr(oR9Cnoz- ٓY}y;'_R_'f%Ui-!EL*ӷKcnFX lb&L1Z%-5 _@͉.TfT[ b:کe(i5V1C!iͬ*(/{toHrT*϶sF߁\`Қ%M{;ml̞2Vm9ѷ_%#HxaE˻q~8s͠de?m?+<,\:9]c`r55u"G3z- {4s򀀯Y#68[})@qrxdTe,Fu ض @H!'NGKiʂ%8dTuK'_XG4[B i:7nć5ȶAkaD4B]$FlQsd|eC3xڪJb%V?ٛY/r*zG'q x¥iڳGťndQ)~,QT'C4r+B=Fm>JcIB,x B2#zYyp%9 ?2`ǎI+L.u'|{m:x&V_1` QdW_?~'Kl+V0nC K1( Ss7nbGUar Ahj]zgkBz!=\Kᡒ/4D:G!?vۥWQCt<۫|"^jk o)awlَ_8[ 4_ L *;3i 즋 (hvdU EH fL? =S,g6w]A6?a^ӛW?yYqᜧ㵡ߗ9dK. o-# i0mcFl|g+V{ez]azބB_F7#":+Ⱥ*>kjLpESP 1 Stewart_Apollonius  _Ոh~?j~s0wbe~]2}DĈv@؛El Ke+Ag Θ6U<+mY4d 2C'u]'ڽjIgʴnb?Ygtݏ'K"Tcdz%Tme?qx[U_̲3HYaBp8g Ox tOn!^غ?W H1 sVK-9Rd?<*)yO&"kO4~Չ^]+Fy1v+Gq>vئGiP$KRv޺ӹ6l@XVeב=RNYdJYuԇI ' IqMy+*坑mnۮQ,数o5@4 D. ijW]A7Y2nN!Apn~ǡfRQchc7n=s/ Sx 4d݉c7qT%H!SVh^Οps>]e'qwE8!z6MɎҜ+p= THDb}=HK .8$nF\ 䥪/5e(E=:^<Չ@ =x䨮}'.cur(!EZhը+@/4=tQ@que7=֢`W +Y i!Kmy"aV\[EreRKF盨ISĘ+Տ!4%.=%=gaTlgE.I9?$GH97~Ɉ< uH->.SMS^M 7̨ FE vM_-j5=K5uS;U쓛Uv0םVۥ vaĦ]%;ְz(LjF$ԼI<@]yC{~4oIS=(\ϻXDCϿIK4sT>]vwؑYN>>/!q .E~L#T!'KDEDDl t%13zIu{] ">46 Ϡ6}{Wb]oYc1}{i?:M -)i[eYѐR ޏ7{|b5}*Gt3!:ư)Y0vmp}RS尤|\P~/ Iϓ}y$+#Šf%.^ ` : gӵx7Qi #o[۸puKɥ`߄F.%HDQ˃E=dRJHDOu̖/n4hAbi3|!8mr}u8l4ꙛWMoeLѭ%Z˥}J"uV?twq_."oTDxmdPURzuCMhTsJfc4 Z5 ɂ?hSCϿ7B}Fׯ͘OПcCx Ӝ}?EK!Pkw MyV?2M9E'~"4GvCN55 uv5v4 ؜O6[m뾒z;#;`#APp7~$+_OK$stEbG^- Yf