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 ^% d$ ]S Sturm_Tarski:threads=2elapsed=20.574cpu=33.752gc=0.496factor=1.647zXZִF! _]ŗXf1-/6vR[]S#L35Ά%.y8S)&"7w\ :UA1~ڠ:GUq,䛻iP?R( VQ g5YeoaեW\! +(Ȗ5`]&Ÿ.gYZ7zXZִF! l]ŗXi%6xf{':YI% Fn#~,ͬ$ZW=ެe8gXVlV4*WąaL/wٻ$O0ľ|WXo=}d y}ʙȑj.Z3 ^\I){F]5+(n:G1TËHAsM :gIsǶv'$EqoE{@ ^aU:Y#2Кl vi,4'w=`Β%n:.;srmx9~'څvrMyMB~S;iCj*R5k/q*$QR>F:ݮ19jw 1͝>["/3(0Z m‘$e9_8?N ǸSӌzW2?I- DZLIǀY#}مPKe;=unYtYdu::ݒ_bRXd̿8u/vSu" 2$Dv|MWMAmRS\SQ5"I\z%UY(2BuiY2v {߫9 D }~, `1t-\{NReXGް(nhyDˬk %5 A$Kɐ Pw6(m !95Sp({eV?0:*c$xr_5Љ`[Ŝ0 $Ljb4v*EXV(i<,VáFcXAx-?n 9 PZ&QD'î h\dUph۷!#ۿ -ϡr>T"22<-u{7(/? 3"ԩyJƫ-2FV.%MNT#bW"_E 6B&cKXD&~Vk,0ENb9/xQbDTG%jQeRf򪵏{!5jXkv *-^uo`b{S{솪2(%Yi~kGPR-&u`u2^ϟiY>fwѸQ@)GX -VӦ8W % j7.On~VT<(gLg& @к n!}I~Uqo4p{@?S'$L&sV=YfbwS3oʮގ[%6dws+e`xSL+fLD2h-! {k"i+-(DI,vlVT_HO}.inmWJHGW\? w#gYZcb552994d4dd9f7bcc23be1d5bf42a282b3961c40a2796d42ac427cc44af631a8b97f23c746aecac d64a82a2189953e009885b82ff3fe520b1ddd159 ecbaca1f759e0af4557375e3f3e93a75220211b8 9fd2ba49311f544ed16d60b38e1be4fe427c2983 % Sturm_Tarski