SQLite format 3@ . BBh77otableisabelle_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  | ]]]ZF:threads=6elapsed=14.571cpu=43.456gc=2.388factor=2.987zXZִF! j]ŗXf1-) enȈA XR„m|RT٥d28Т#tKIt+Jc {u!۔o? -:N׀PaaZ R2$]{f xޖemn!HXjw16xEK~Zl/b!WipsbOuU{CĀjWv;׌WLW072C**ld]Ux?nrFe#bsDSC)kl6\%Fބ#ӧ?n$!e}~[nOIyqE8#;9 QO&TUA:ЩcW&<87q;f@gYZ7zXZִF! :]ŗXiɟ 1FE`空+-vl0_׷hu̅,[6FPvB^| pzC1nW+ MR! ODoIa`D\=,g $G+.52i$l@hғun,aC*e[#Bm,;ivgpW,;B? <)^I`tq)"U8_ T8 cB(GƕЙ&E zeLn+o 0b~i ҇b%1$b4+Ǎ 2@09Mvkz)ػYtj :}fN0ǎe6I4I>gvmR%O6ctCYΒu]\R!k_ X1bytUbO¨BˇuW M5i!pkge6j BJfv r`W?7U_/ʸ~5,ΥΙ9LұgYZ7zXZִF! F6]ŗXi%;PZT nyȧ,ncj M.YU8e8e9,nWxtnD eu㽝J:*3TfFGbhN*3".F~!z) ;AY"*9GS?2h> ˿]iKk|+B+,\-K%6jc,ͶKP#2X5& kVE ׏ Ù يV`p;C- 1i4s֥z|O<\o=KVSDS,C.>nI;Уܺ?.o;.FtQM +QjëG5x\ftGҙڢ|ҩ60˃|W 7}-{ܕLu!Ļ5}-#vt\a57zWRtJ~4'w7w pf0PiJSTQb[\ }%ø:F9 kzFkM]TZ]ջ6OmDnlH}2@il-1B d 'ɘNf󤶄~CI}9NV7RN^Ol:Ti]w˩" (ېoDl%C$;A7Jfn?t`ŚE2yXhTGM?+jբף>u&Rkpd-s1O-ETcͨmӬFm |/BbLsI]^ǰW'c/\b Q2va˓Cd!F8}hx^=' K冘yy+ {R1@ExVb=^ 8Loo1_b/O8=rru4] ܍gJgYZde2f816e418b08487be967090fb1c5f36bac4b84da36a99885b072ea1df6da1ecd17877fde202f5286270f178cac06a65d682e3484ced6a5a5d727fa  ZF