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 ||y)d ww MFMC_Countable:threads=2elapsed=64.654cpu=114.608gc=4.956factor=1.777zXZִF! I]ŗXf1-/6vR[랺 }GNν7h1|nZL.{0m7j%<lj49$ox SlUJmspRn+%țEP9E<>A yV,0u.{QpsH>4jG FV(qNb~/j",Lm5(Xfpf<jN[nYbk~wyw*݅.Y#wE-K9䧱1m j/iԈ($ٸ v ~YyF_X:W\0+r;6e S>cd( jIfM NQN. _axxPHQݞ",f9iQQCy'&y$E&e-&!]M8ӣH# Ꚕ`UUk?"UFk..FT"vEK89jxf갟q݀{L T XVwJ?}TuiRi&~]Ң%hKB?V`[E3C'+/DleW{͓l93N"d|͑/2){^ʿjb7tÍ&%%Lk   CeҎ \qg_gǐiKѼyw&Br]Ҷ>۾x sq9洮wʽg&#zcmS"Y'I+&E@@Bq:y?DNZI{!*;u&0X &E5RklnWj7F6oJ\' e}oqO9*_4_K5(똘?۔xR^ psBڔvcUH<ğkԉ`>68;{fo0۟2Y9ƂoL~gċ1&Chէ ΁*n:~h8yX__4FeV}Ws!%, a{b,-T*[ ?C[>o-%zЦ y@#;E. }C[g :VY_JB$cd\ b`u,==#ztl#-pȕ2]aPjE5xĊ,zYs!z94,_*zUEJƥD RD׮"E}-oՉlا60v=0x\n ) MFMC_Countable[\" 2] "G뛳wmx53fr`yI kmŐ9QWon!K$|gp2|ǾH@{ׁdv'XuIhUEX0`p w%DNya#޺׊)Ff/5HnidQ e]PǷڊ-vG&$/SA rFwOw'5-'!#Z]˝L2b4w1!/@a@%`%\:"lک|cwd|TZ+I5pCu>CGUڼǡƇ8"|_m=ZZ|r%Ucѐ%7۩K82^ՕPKyYQس^j',ۀ(qc#o»#Bn2]Vg5I~0hmIv CBm`&Rd%;] ,5ً붟\$7]W[BhU0vBT-Pcxht!49 ǃH 3_ Эv, ,L#*mZ_aXMPe p>UU7IaZw6YX-;}} 3cY]J3kkvapsE~QxnK G@su咑Pŕs"0!@,9szHKy:Wp[݈HK:j$8"چ3M0؞ݰ)bD8-\+L9_ ֖(OJu.e?\d럳 zr|88: [%UHmHVs@ +Cn5?UA.AC\<|-"v$KJ `)Y]6F%Kdq懔'4.URBz3HMx%g[v I:jet,;~n !>!X/KDVk6,Ɔ:(icBF w@9X}e3$M3pʱ 5%PQTڈY\[?r7=/X=\0aC+1f߭ -O5}]c^,BrɾmU츍xyءp  Z\Tu802ڼ>B\PB0J!~H'u=)̯rW-d i_jb~n 53b*Ӛ@Y?"x͍It=D2ʹFtB3pN{6JSޙQn;]`c]xm6Mw <\Rx%>U;8,(-O-ӾAaHPi 5/ Q/gE$Yy]'jR50p֓!nԕT8ed1i\p6M L_^mChbߚFUb:6)?neX,Wm?+Jq_O M8 )Rrjo6-.DHh`(@6/pIofh#J;-fm"g毄w= gjiCD$3aX-c_(]eg вkcxw[#贬 S`H E-ɥ5?”* 6kqՅS[qr"0Q ضJүGJ^*9t'4WSثDeP&>*8w{4/ISAtCQwD٠y= ``#LB@kF^C#l- ndH[Η}<%.en-r}:KSe/y&"kNs<]~|'3rbsx=g]F ~|1<2¸@r/>,וɔ]n_7dvu|bKh|^/K#%yswWdlT- Qyu4E*Q}D1F#A)BȩK@".F i8,G~.Džyg-gT TfySo߱l +Qv Q|n knG3˭l ǣI:\ [m`"&hoM>,Y2a/Ԃ(7jPֱ3[,en,|_cRxD<EA&!;C_b\MG'gK-l'K]r܆%KQna7Շ+"E{m ai?*O^懑!eɖfLo(8~zNr 6Gs`kcWTqkҏ.X/wQ _Њbƨ O|kt1=o { md ޔ8(ۣ.6ŨTgsвDQvZR["!B&ҹufvfXwgYZ346146238c66aa3e706857a5da86223bedd0d725 5e2886080de1faa06657d403497f877b8013669e 68868f13b448aa6ef9d76ca42418b89ab30a2176 727a3bc73d01adf44a32e16a42e3681b2739013d 8f298abcadb3bba8f71b6470a1d7621e1385a5a8 afd761f8cc3d6e32c1731867d5a823768c7d35b3735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 86e95bb3182356f659f9dccb3c8075066387911f bf6c8eb6904ee70fa70efa8c3b57869887e97ece