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 w+L< ] Abs_Int_ITP2012:threads=2elapsed=83.580cpu=149.696gc=5.632factor=1.797zXZִF! I]]ŗXf1-q恈N|5` 6IAR}B\򍂵; Ϧ{WG%ƏQܗ;I?I#pM%67J@RfW9E)ք(ΡBk@|盢˄2 $%hY'AѮl8ǨϾrbEꝾ33RRÖe!>PE|ё22[8,=A8P^^TI>~6N)3FS6 n䢾><%G2IL@B[!Y(&=Aԩ '/)c՘ 8 |Ɵbk\v)/B7hETo`;E :;YvOz}o}wF+GNFt`xI@sB#\ݤ&fz˛aQ!oQq֐%NQv:&񺈯b),x^h1sŇ#S Zԃ48CzA+cEd#$AV-4Ŧ fI݇VXgBH)VC(Fz #íu%(ܰWIB&y(Ĝ,gm7y(]i"$!T&_q_ifO,'v[<dURauBv;E܌-}Z`!uw.$'=5UmJu$kdvpX!2PyeSp . o- 9x5'P r ee.+t ϱgYZ7zXZִF! U]ŗXiɟC`q sT8Ͻ~]?l&NeQڱfsZ@_"zFf~O\΍[lAf!ZbP^Ŭ%4N^ [c  LgYZ7zXZִF! ኒ|]ŗXi%9#o\+jAC,VDB2K߾sCa[`ՋmjZ3 %# WL9AdfZn_V0>y'=~ײv(|c=:u\&^׼ůF8 t@ʇ}}qY;[vh{ш0ڪYsgQ*;!W_K 1 >vX s/ձ> ʦVk Q"5G.LtwrJ?*?w F-7`Ɉ֑$P_D#>4U͑ٝ]R-/ue`釢B+R;Cڅ)* Iο~<{5UY'z}[#ˮrG |̕S b-g]~e:Y$O6'T⎎i*>26]euNyDC!0c"q'IKﻭs\wڜ ꩜MK @zRE9V9yV^ + Abs_Int_ITP2012c9iЄ݉6Rڒ- KV*|"qydU(SK5I}ou وmbJ!~ 2.1z/_}{NKFVR3d{ Zaƴ>qH"ܒ~*b9 dطtym(PK-_% FBV/o0jK$O<*Bx:3e%r*{o(6Z,8S#+2W6F_pE' ʣSx$ , 4e|Җhf_.ȑCbB|_f<7~8fٱ aJOGwД P~.bqE]24I^HOZT`0dk w֍vl`"^iaXUm/ӉԀѡJe)SUݓAe~I^!R>4|g`ƣ'H@zswmJDso0NXLPȳ>|}$sGcd鲕/ۋx(V!\M1Md~jajZoFǓYWUvgb=܂+Y 7=c/K#wi5nF/ފDc(,Fv#2[\Mӹ^;C=QɃׂ[V{zvm45tI+"7_ʘfPӺMƅ gmAj_D9ƊJ1q;/EˊVfiK P xnE=p)_Pg)p:'EU -u quH΁ sƞץy/􋌆to@1 es'~]KD(\} h7r tqi!/ Γ&Y\ͅڋN5c@R75ۻԩH޳ІYD5Sb9I2^ M:-GfϋRxD隚*Br2AVbG5y|ˊDg`ԚM!ySBUX]PM/MFEGM˒7<;!cT+`DR\ Cx̍7u-I,Cķ~ NafZ?kq_}tzf !=S`Yƾs\8䋕uH3WO- SVKV%=k;N4xꌰ`Ҥ.2G m5/BֽP g(KR !j.k M^pDSf`6:*FҀ498'gtv\\t7$6)f?̈|/Tr/K̙UFY 2YjO 0wY(Lz u64:9~ûd?kkAK?c=i¨*9U7zC7l b̷_n7j Q2>^1Fs-7Kj\{mS-)-c^!p} ]APF7]Z3BpQ:`O7R_;sö Y2Ҝݹ:Gӛ^hmpTmR]im4hlt%?=|+u̍*4HB9VOԳG9C=GROOa \+]SX"[]p[+Jc.EQĈcxџpWU+m&˼ /yOU1mg=2+ozIʛSf&;F>dxT.=mZV:JNbLW)w CBCb[wz"`t 0IIf%Vx0s,ejϜ{6$;US9ˁäv3I HSцR/T_jbFfzw$M|98EL!Raa DrnlF*-C7 ]jk'ɂdS$%'#-+BlJRM#OF.j)tOpvehL *SD-8'1vHJ-L@\fXa!!F 9ՑsN:0q`&${ ۫a6TDhj$=$c_6ާC$`)WbE~Whq2r KHOqh\_|Ouݎby5q8 ׾B}.&~ \8w@UwY&|0bPI1y;ރ,b0v9y0{8-TdeC`r0C2Y;J} VKm.\jl~W^H {|9,8Q.obhtWYe:v?^ZA oaͲtzD}*}Zp~ 8^[mK#vgYZ98274f7b825b3e322b72e9cd02168e39fa1896258ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c