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 fK$ l ]/ Hybrid_Multi_Lane_Spatial_Logic:threads=4elapsed=44.825cpu=173.680gc=3.220factor=3.877zXZִF! | ]ŗXf[&r=X&88P'a|47QZ 2L9;a8Zh[_wZυz=;Y j S…cA;8!Y4ͮY@󲣛^@ 1<M[xv/F@>;.ٹ=<ӗX~[8tu>pNGg6UנczP"(2 tn ga(9 [BwL ~VJԷ4pޙ@_}HgO5*]CͽP>9 H2.翢Ðuu e^GRFbmNJb > %Φ̜kT4_ |pO{"a2?fi> Y?2eg̰Zֿ & W.e7ҝkyvN }VXDB'dZM4|kEۅ=0DY-(HOǧkp,fevWoۃ ;nY=?;FVl/RZVSu*JU,TV:IA1k/+_wc?_H̬f9hɀ3jTlg.љw4dyJ^zB$\[~w-6W 3 zuT۱_ 'Wbvʹ8TĄ Y"S>Mbb-iip"rb}Nj@Ij,~T7?6J+/ʩBkX4]e97PH rHG|?Aen\|{tT(YjB6uU'RXa^{`@Z.jM?f0Z|<utO)ccc܈O%rD7>8۔7 . r0w3|K@| O}몒tDrC(lk&p=]_sB6}P Yeλe<$0AX.͗"ˑ!HV`yr׎>QWsLc5#Ʊs`t/ 6umJgOnݭ̭]-(z[c/0xiRϴ~gYs׵-@8){]<&⇺Ee%%mw/1$jM\ k@]Ī VֺP3\Ez։ T"-Tn10? %3-~`4l@d k_e_ ŋ{ZkHA6=KV0RXÉZk;|| jV"5^]2LdS`[;zŕ$%RwHؾ֞ :7|E"Gk 3 $~גɣA!2E{&3=WN6>B8»jт%\ע`/ڎnrM߸)t~6ؑ┡G4 KDACx{)/EpAC.oQSl*SVz_e6(u">׳nweQKP/mt@OG6U{LA~űwe3Hy;,Ɖ">P>hASFՀZ+|& g9?B!kxީ~:Ly_quC6 035V=h͕&Mk2tU z-b85yD#Ttl'XBxa! AED b&q65ZmlY6T4.evݥM{Vv2p%޶И+b Yo(ul'}" W1X]#Ȱ%iM>F /qTVkC޿ ,ۣTwߢf_ )S١ {ɵn{FGf =pE5BkXќ΢0,zxmU0!|s`ZJF`֢*z=מI`!Wy<|j4#}8c*ɋVW+|~J0 *j;;Fd o}Oh=m:6r!VqkQ"K?t(_)nlG9%*RIDTㅶʨ͞*c8$< -b}}3˦ ;z$+iDe&Ƈ|t9uYmP49Υc[Fu(4C *WJ&}.,MOY`#UPqew Hu x1ri[9z#)@⅟1zN?:bǨʮjXYHѿ3D#qwS|w$\҅_ }QnpaK:î@ƾ(,N03?-g)nʁԻ}U@^k0טNXe^|L9ZNjeòY[1Pqv,=9hN;y2d a}cFJtBsFy5ET:"=$[%L x` 5H9fI_r"q_δ͎cT1 O0;)G^27S<]0e &DTJqlX4@ `Y\Z5/%z*a"'TF?5_[ϖG&n$pz#E2Umosc+uv"a5Ri_"T C :,׆߂×[w-s( +Fx`Zj'Ŷ', VOYl!: 5HTipgɍ_SөBPR*nbկjM~){]jdNͤi%x_02>Ϸ嵹Z(:q ӫ]{Vۡ$n;$ъp͙~؄I_*Pƫ*i'}a 79#},8r$GTrC`&xS9&NHcۉSВNG*3D~3)Ew*|AU^[8GxB/9@!" s L*e7 ~̉][ Q*Wq2I)+`ׂdQTWvWEDC͎oWhJW+"9?T5TԔLnE."{E: E[ﺱ4%>`I%Bǯv4+E&>іъ%t6