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 J' |d 7%]Sepref_Prereq:threads=2elapsed=62.110cpu=77.788gc=3.744factor=1.257zXZִF! A]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kwPf$j"MFj uѲ3GGʕix Y3Iq92~g⇰&MpR) 8 үN}fP@zG`"&)Sxa;TAZv0*bL{E#[F% qWHqgpԶ߁Du/aCt7>6+QZroQ9É̹ڃyw0,,1Z#K^]-`bDVХ1̿f0ϯ(_Baqk1%AQʸbPp``Tl+' Sܞbq&Yږ"piHҴOk9mw*z_  6gPN譮X [0p!A@kkR8e2\Mz7{0}gI6Fz8"V\CVmԂJH&ܻg[CL)&*` hxz3nGx̩|dKI$`)uzQ@cC8M/;s}V\MQ'ucO 4f]m̜cֹ9(̦^BD޶xd.˵w)ϬتLذEe:{r.ވQnfN 9Q:xʥ&񖲝\_d*!(T)eP8hj׆-1XCton".Z[1ñ9]0B}mS;Lly84o8 7 zqAP3Izʇ| $Jwvl vqHG3m[ܷ1z[C(ö6h4,K(c}e}֧Q)tظgsjEdCo;_][%!LI3HIoU͐e U:m+ۘww$LNڮ'ؼ Z_L'瘒e㘙ս|ncpA_*$5ҳ%d>4NfM(oY⩄K\$^x-ؠGin- clKٔܰe~M^3$iX9b;ߵ~r66Bғ8*o;.~H) נ"roSjH3Ew5\l]SC$$H|xھDt:2{P%L/)"ضJT^]-DPhX 7^/Ǧ\um!>zM1ޯs4F (hgYZ7zXZִF!  i]ŗXi%}Z;g!:C눢xUҔ5OɆ`ivX~j|xrIش5/T纽CgG יddP*:Nx$߰4>w7%6<A'> @*+bXn;=q̈=6pdSU#'?Q4r b fr ^n#{Za;h}FDZw{cnuJ;%pS3ݼ:@xKx3*f2-I§L98ɕK?QHNX_߀Ӭ|Sd0kt,?xԆ\)nA2x Q2$NZ'rqA4 ' Sepref_Prereqm#,9S 莔#k-Rߗ|c=-^mr5vXӜpyU]5B;n7MZ2Q:dyCq50)>K֋ya80O;b̽_^w?(G_Q( NOѢ|P?!=7ԓ!M I]swWZdQvtЌߧ2C92t aR/I*@=C,GNo)D/ $*aQ#C.ۓ5¯RB)Oܬ}YDЌ CʃzE*80Y&%^)pĩBϖ rJWӊ,RϷIi<~Ne tZ)=bQ/;KS4(fYn: ҨÜ&Xپu0m4L@+򧰫Q[wVH)+^ͤ?VhR-m᧮n6FE`}j9Ξ7qZ Fm5"Op^*Z#py2Xa/ƿ }AR Z,*gRIX3LoKf*2C rԴ(_ӂJojٹ$'3hOM{Є%E0Z1J:G=Bh'٠Z%qxqvX@ZF4m|61"V n=XƜr^{'!ك`vvɯ \2x]f\2K$AV3`W;4 jۊA8f\7vqoZ VtzE^U$rS>~675K( |"vtUB? ;Q ̷g_Y SdQfЗ1U9cy)'+d4ЬܶȎRBW\٥_ü;y(۽AwUgA` 9Z>/?@oES,5PtL)6tȌ32P|X 0#y˧ra p4R<Y> :Ņ 17Y[QUՂJ,P*ܞ"r:RCz oIx%$GݑTH[Г@:3Oim\