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 2+ |l ] LightweightJava:threads=2elapsed=49.936cpu=75.760gc=3.060factor=1.527zXZִF! Al8]ŗXf1-/6vRZlpH8;_SuƖ`BE~IYIc 7ˍw^auZ)q"˷o JҗC]#mџugl2=OzB4o2^…*/>9gL4,D?=V;I?#$"5ku[k}:% !։DŽ)cH߇aPO+ M7ҔSAh%/JDb3$;MD u|BJf_f)3m)2I$[พhMxxA e|DTHM + LightweightJavaW1p9Yٝr!ouC,Ί~s3|l!#%m1RrH")wL+=tڬ7~e9QEt3bТ0 S>35.gRv׃6JxA(*g&oE͎F&O&V;|T;s/{xl"gYZ7zXZִF!  ]ŗXi%92IU-Vh,8״yvi~r 2!Ŷ,όsj)ؤviЍlQN( 4)n\9J2EYL2MUîG9VHȗmM䈖dOiRK@^C3UQK}~_z6Q$/gi~{MLX4={ϜrK1Qpmlrߝ]cb衎z6RА5N kޘtSn-fߋZE06!Tt8!ǎ7[n ח/,X&_eEU;hЅ5\ )銋8 87.ܓjdL48ugooU- *Vkޱ)ߚ@-҇E:ɠ^e1uH=Rv`A#'9~z1*eq7Ђwwf]k"6+T]2?NJaͮ 󑈦1 T0R#h}-Ɔ>WJϩ _VWCNδ4(2->Q|bk*ς } 5{E2=̢bfK5jM'ROL ;( vZK"6gJe>Ń&&k熘wN2րʍ;osߐ}̔ cKdw\S&r d2SW}H~AZ 7Lc_qnVpb1 י<_lD.iQ{,Q~[V45oZo bYxEg桍Ѕ|ʌZEdHexbJ);[ CB`ϔIwOC:rn @ ad߀KDV94p.Y>0Xe)_g3y2$JD[HqO5xDzD *$XK4!OCs+[q;Y RƦ=ޕ4:z5֫>6wV<*ۭ`}ec[;>@wA7քH)rH[[NҏM[֐aw^/>RR4IZ#qqQ/nv+c[HaY-ʔSCE?(CA¦sݞj ,nO|ÖB{;YZ34x9nU=)\`fRcC;U\.ɂ᪃"!Tb ccʥHF(Dq%[ag l}eK~c(O ]M {Z+O1W^^|u=دR:*l[@a9Ҏ-6>ʺ9mS]԰ۋs^`>5qN7ri>Q=<6]x?(DVs %×zG7uChj{hֺ2\B4]fS #%2{`n@p<1ۨh!m19YhCr-dפ`8f իG6&:6dgpVhpj4~q6\]ɰ9 ÓLWՠ8b V;+⪚螓aSHBw)VgF5@VKU)4vO;g׶^0YH1 "Ř``Tcqr,.  +$:6f}'A`sVǭ%NWZE}C3íZqodAT<;Bw333 O I(,UUD34‘= MKr'WD{_X}x4N*yk>&U(*2f8X_#UРԀl=o0x g+[E,#7WR6N+cQ3+Qlj<dt'uUNY5 ܓ<Ȍ\<WWTqn<\WLح"R6vKv!`u1Y1B|?wr^cV e];U+4,dֿOSr5q O~]k9Dw.'x FQwGYoW+ө ȯ&ձgYZc46b70a5131ccd1e093c13f10e361994d69700e9bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 2d6e38d83c3e90a100dde7fed1e4308f472211d2