SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 {{ 4 w]LTL:threads=2elapsed=30.364cpu=54.280gc=2.576factor=1.797zXZִF! ]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boA]ҩb1~j9e`\.!#%5ru?=Vz>^NP{X7\,)ݶᤰPr3O*o%S<917n!,D)-aӳB@?ܸY߄+-[꤮$zoTfHOeZ|Ӥw,OlBT:E.%76 0*ʔyrS /lܿ wF012|2a)b+nF.ǕmLcNȁʣƇUK=8@IT- O1B6fHd̐j #):‡h#Oyg1 o^@n0 *,HqB]KME TР}:R/Έcak!\|y̙ej_!DY3|uVf:^KZHO)Q+:v@\.ڇ{557] $YyxP=.~p#}Xi\wݒ)gYZ7zXZִF! ]ŗXi%} Kt&ѝ ;֦NNNjX(y,trR̡TS{kvST g"Iz=+iBv-Mm륍RʽQJ #,#cF:楏XAr;O}_Zڤ&R6@£̍yK" ~w~jvc유n]̟4MŇB]}\!;(%ܙ6ͺsQagz_e48V W+rX>?y9;kѪ`3%(nCv[9' z"֨n-­%zvw[hTƔ ԤWwvgodqmҩEEIt^U6?[t!s_xʛ?8?mQmxo'uT+ j@(2JGHp$Õ䏦=R\h9|~]N>ũYy?rKG109M$e!ڵDvUwQ:rj}DzrjNQd=JI(Īf+ d/>c6鷱!i2KiMVE™-[.g/p}UF}K췞2f*f9wCeo>Z+S17lFKw|_RT'#e,TiQId#R{0>W\ǬeWƾGh.C56qYz11}?~"sCXP=0Aw pQ`kdFI7!pBryG:l87OSr`g*ڹ90;[!hJ1md1qdU(5恆"&sI{K'G,碜~>?~%>QΒ) K nߪWRH-TE NR~-lzA+i^AY_`,sf;ުQ #AKIu@ζ,a~\rgxԐQ/󟆊eѥN HE)S-t0G@n3t7GG\p v`8:=מhwdom=莄Ur 'I+rmb;`O)cm`832qH)FTG c!#"}QD[&J@pat̅r=63q[*֪(zQ &:0cモS0,0b5Z PN9rt0iGWЀ! Gs:>_znn4O T}.ʡU7t pS5O_R&Ia!8jY[YjSWWn,Ͳ5 !v _Q3̕YFۅ"O|rCPO֜ >z WNϩI3f<ۙDrR7ێ0/C!Cno౹^#u]~W[D o 4ˬ\i5025yCLQe]td`Q,j"ʤ N8ϩcd /^