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 SS"5T, + SequentInvertibility:threads=2elapsed=62.449cpu=115.928gc=6.388factor=1.867zXZִF! 9a]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jT_g"56&嵂ӈ+Ʀ@Ev;We ~ܜY*J3l4*ADEWaKpp&k1@DN^رf ]u{AtFy4p`oTQ=E [˲gĿ< -ӫTIQQṪ56kd=; .8Rv; ltYeziMLDUz^C"{/ iFTCEWW#FnB{K~!?{4wcIKW&%^>0Hm rL*+R5fgAR[lz0'aCrSn91HJ WQ #Ha@y.+LRCk$ x;T5hZ`_'@D$r`1$]ό ,K!}OKjh(htAEWNjEm}o=a K8AH`ni1مjpEX/:}xBTZZ;=CsZP,aoq9*{7t*93@3NATM:] Ef&ESԝ<ކgURͿ͠}AsYn|{ r0ݺ L qQ;\wd-CP-E>[eV H`1L8),`5~ߝ=ٷ˫)dvzდlDK=OiR[bwl' Skw>^ 4klh0q6rMQW@zmX֪ueH"N%ӓCËwoKIE11Z{j.͟EN1^Y{4NvvC3،)̈wCg.r33oY9n3.@"i 0]\^lulMsA9̇MxVSN`/ΙL$@J;h4i. -]nDU ?Xfْ'%yc|غmExq-E l XqOS48p;Z -_ۊa>Ϸ則B_$Z_~CǔPLZnj/WKmOl/m5=bO: #0Ļ6$@2h sfgYZ7zXZִF! "N]ŗXi%6˼?G1\:(R1q-jk,ۿScq7q"Nc2s^|@0u?}&<Sz "d=He:?\աN7r.pAY 5 !gҾ,>z@U_㻱(& H!]Y{^m D!D:^y] ƚeqUPX>#")욀dj[QнQF%>SLׂn(*+Pz$k0[ 0BW> b^*3"qee9o`{#e,9]2vj݃/S C*$[fP{9iHk,  5 SequentInvertibility[30Nu. ^);VKGD0{(F7l;d*VsB];qQ*LzaLl/{va3J`VO)=r-HZ}sy)O:!s#âIZVr ~W:y?57QS8Pm,V`$ Z07+ǹ╉Thq]Gg$.Rto;{tY&__ 1y(T[ഹbTcIX m_+\k[9c@O66ryROv!*񪰙=L&rL | ؽr!WƠudKcrKܖqޡ.fsyctc?dWfte5dI`iCz2W8QH}ɯ#e-9 8{du-|,HΦ)<Auh!{.d<"kU.> MbŅP~Ry$*]:FG6m:oݚ>x xm1H u$\ 4(vfBIMUq00C~~]4ֳގ gn4?;0ІlT~UdTH>Ft>1hPC[V2lp% v{1 C)4SOjK^2wdTcJ{vrgm zLEA'49JGp[Ii'穎(19ܓ+h1`RwջͲxڞG7!+5\L(ygP>.80YDP *[@PK|KVp@e絗ERpVJe v1ҕ .K&h+0\;Z2>$'?҉q_#m㔌4{*Eek[?Ow >ՁkX!!U<{\;2`lE"e1*j4 x&oReDHfu1R +|~x$ "zwqE۰xQ:nhYA1H(\ H"ˀMGjq%b#b]61!޴.G£Hi>tP ZFGi3syejRW,ivKH?,N QwpI`@F%ϝV4p%NS"e6X_c@:7'VԘI~I[j Uvg15]Zpʬ;fJ= f]?G_4}c&Ez=yl9qhAYuj<hd4a"vHh]~۷7IȘşkHD+*4ݫbR|H=KK wyTX"(r r;U[S\ےr3yu:ΘǤ1Bmt}Wzl5>ƾ\s㜤{TЁa52 /LP8ڱ g x.xG~n8:]4ߡF?hş_IUib{U^N˂d[8q<ڼF϶ZA,ae.1ͭc+x *RG^j~]