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 1 D T ] HOL-Imperative_HOL:threads=6elapsed=33.271cpu=65.716gc=1.916factor=1.987zXZִF! +\]ŗXf1-q恈1$1|-~yߢ" w7Eh % .pICgf]7l44]*R0-P` #PLmAkb(;l(1zPa{U؆*('io2>-l+KZI8E:m5Nlxvw9t5F=[ͽ!mNoi%?7pT^W[37$dvAM(Ce6`kU6\qK+AyL`*~ӉxP"uwAI/hk_:> i 1 HOL-Imperative_HOL  X9;*s,< wG+)ISpE?P{|Eh!+u !bZOjtX7f.)?{jIGI;Cs:GǻDT߱ң`^Ƭ_yܼnRw0E%b}}/UNRw0~q`,EQʮNw 9cH`u2Q Mrʷb zCVG5rN4h;?($S:t,DJ{ּW)kmZ@2F.XǢDIWvil,_F)uZd_6%N 5Ja3{$l𺟫m&X{qMy6nȫ+AoX(hdnnX GԻ.U/R }IcQv-_n)#|@Rm]"zg)J*Y+j=lB7Ȧ ܾ~:즂8 H-lM<gB\~h|}rr9Dr錔_̶Xw )GCzq69=)f.S72D zsgYZ7zXZִF!  "]ŗXi%B!<~As\r|0%ZmX81n;BfG ?.W/ôrvᘙ/\!Ŭ'St=-GȆ[0s |9JHxzM#SOH?|>Anr{@&Ѿ\9V}{t8Xe ڵAً+yY {`tƾ fMhgfK;hdr="!YRbo'L98!jiЉ9pِI'Nkf;q.NYJ0eXCN,7ԧo*oגn'3t1;+JdAb䂣iǚ8WO8I`w+~ * dC|jANB Yay=]Iwj~Ԩq ,Pg^4gOmkprh( 47_Wׁ2"~i,u{Q-'?%{  MwKS:a7t_G펖%ցzυbx89X:G?T2%ĄЗ:Fg.܁w'jka\׊t?Okr>k5"F8O<dP4Ssw=AGҮCmhl:]-`&=)a1~Åw!yMx#O֨ 〼cF*A$NrnZ{vT*LE#8v }Gf\@=IrQXРn(Fn@ttBiB] 4aS _428 LWYy{R! ,K<]Gxz;ÐBش|7)JT9'B AikTy/Z;e٪O:0w' t]xx{r=ݱ ^:tbmI--R*T8QM'I՛1 od͘+Us.=42k"(̜޵19>]zp?=*vS*+[<:Ma:~QdUBz#MբҴiRq/Ta _&j,i/Ła`5*?rcj4*Vip\qC}bzٖ! >l) Qg¨A7 E[F! ?y0D]XrP@?j%bV Rt=蕈B=dw(62'Ce3h:anXޡ 6w)6=޿]2pj$~X^9ISi}<^&3EcKI]_t/)+XڧY_Y <㠡t;-̐H)l9OzPJϳ).!'| ;Ś#~cC4ޮ'= ڈ}bh Hϖ gtg>}өyf :&K.[[qE~uVvգ"yǘX#}aW~߹" =gF~9<"QLW;7]aG e?eH&>9)Bw8+Cڭ^[[M֫ ے_7z$ٝQi7Tu[>HaA {1<2֐[Or48ĞʻĜFoI?b)pޣ޿/`dh Zwc,Seo;+WlЄd9?i5C @4s_\vNt"JrgX {E[tyZ'ΐ%u` ?w'cS,ßg3QHf@=ڴj{q2-;V5g ;g7l,k2elSbS^֘/A#17qX߅oIPʚV4 =#f B96$R\/ MČq4!mN" xUdOL1͓= XӗEx iv Κ+Qp>vJ.[ƗatT|(!xPS=y-ډJ Y.Zkes^5CJǴ)ﯜIxz'E;B(XuاvOC{Z ? ,e YP%@O79~)&sHH~~nI !] xI5=Gw[e\