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 88E1 t, ]Abstract-Rewriting:threads=2elapsed=33.724cpu=57.628gc=2.704factor=1.717zXZִF! s]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj';n^ xȏ|N߈H&Gu_T.5&S s}7j|łKM04_swU1L_(Dqns;+=JӦ3Xr֔s);3~jѤC>;_g]IƁ?wBcg@%fg2#21.t7dݿ.v6z>QmO8[]_XOI<:+,g6Ʌ$Ln_ywtώ@0` H /tN/ \ޠ"-Y+$!LaCxNO]#lG`/`n,w~Zi4DSh uKgI əm8rX=$% "MARY/Od#;5xZido]D耖'rU! u*8#v`EZ]ino.@_kF@;]G/.Ex|+E&3kbO4p5"v(\&ysN oRu՟quboXx_=23@ _kmo$pOQ8S,lYmu~/*!:;ҫH&P"?*D@gYZ7zXZִF! ૩]ŗXi%6,FfxfyíO oni,ُKä41txτ:@OJq!n5ß#8o{{Z2͚',z6ǘbJ,=Pq& 3:B jt6apw,Q]0?)COm\}ߌĿrS ^ȕ1R OTk!''U Kx1su~iB t ._^* oEn@P?mMKAIY Qo Emb 9OI11?D2 6#6 ktAH$ܠ9*[n.3SŲL^{maţ~ݰ1aՆ%< ƳVVZ"<}uh0NxK=9O5x*A;7 e&VwԎ@SՑh@f(s&oa b&9։;+k-CN\_lQ iI;4X섚[9ƂlW\A}RkOn#t97҂D ] Wk&Eagx2g+%&TUع|vuΕ-j0#AĹ3"wSXɢd̓ka2C%ik\s#):OFRڌvLd PiX)$نJήD+~TIŀt*H5j77fvJ a UM]x9X+0RYY*9m|ٖ^ZGԝɄ)Wmw.ȇ,3^H%}޻|t dh<њv ZmyA>Z ٟ#=F^oAAnԦl]>/(olNyWv(Wɚs_8><8pNs`/|r~dc=9v~ipj)}n(OK!@b)U,8l)X[ߐ{FPmƖG")*II6N>P-O>xpL<|<K;x tU5]Y vEvF/K?c2L=;hhDroG?RxVa΄$0c:Lx QE{G,Sڳ14Tr܊io+N RRz!NjYԟI!k cr Pߪ×EF!LW 5p$郡=5` >ư}]