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 Y L4< ]/ TLA:threads=2elapsed=19.183cpu=32.380gc=0.848factor=1.697zXZִF!  ]ŗXf1-/6vR[j K<ԏStpl`n?GS'Gʍaǝ7mi6HFIp3!ŝm/$67Մ#.( ګ|E Y"6Ҍ"Lqhȷ̬p/XDJP@cjhU#`Zテdv-q.}(2ʽƭVg1$N jmjy?$,8ّB41q㖿[Hp4V]:`,۾zqOA>ar!]BNRX Af6c 0Vr i'Hy8$6$ F!\߃=G PYtc|ി>j_'ׂC/7d2{ӂ`%SRWZmmn^,Ll* !T&ҌYe3eIW i+"C{tx~;0Zw\;ptY`Chލx=" "gYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 IJvMy;hv`%⒦_IX+l5))Nx87ʻ'B 9d(GKl9vx'^?I޹zmXk˻*xEC!$,u{ÑDɼY7 6N`R`0W@ \.vj5N,12+ծZu ޵>i)xF)OYaRP7'mI~3y-]uXt@u30;* Zb' 恙D2pφY|=w :I5gl}G2&I_/myP=ߗbM9au,!$^L& Z)E3dIRyévкn}kp5/.2:Ĝm#xV)\ǂߋiR,iy)8քLʊ߲>g۽  CJM|J+u?=uFChfg(Dy`aL+3$ֹfj0vH1rU%AԳ,=\G ~-BD) dH " dH,ٗBKE .}p2Z`N$uv w V׷%$MH!`3jnTp+R.sި)d?]lnXfv-1ʿp G[c657~C;fJ9L،lQ(׳J@K0XNW[8axűvd&T;zQ5{qyc,=RU/9p lߓDFjn e(`f1l{[uD낷cX,V©9M)-dՀӶ?Ц`Ҭ* }I?Ec%ryߕkfw ; Wx}E!Nge