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 ' |\ ] HOL-Cardinals:threads=6elapsed=6.404cpu=33.832gc=1.220factor=5.287zXZִF! ]ŗXf1-q恈<-¡$johkX2I)']8PIz w2N2|mҞn|ZQCmXjE:_bx2ۭJ>w0^k-y$vC c4S_/d9j8Gj/g? RF j"/=|A%Êd4P|+}dAi N9s;^j*jxB_XwrgYZ7zXZִF! ;']ŗXiɟ1?ߟt;9BP2CZz眭5 z%zOH,uM;%*- r$Ǎf9鞃/ (Iݶ3f휡olSK^bVm`ݘhV#v<]^qqk:۩}kyWp*D{둌&hv<:ӆ0Pm(SlP@c|+ng f4?Yo2.g֮\yHey޲Rr  ]2Es8uAΌ=K^wgYZ7zXZִF! @]ŗXi%92U&CVj|I-`Ia(!rlƝV>FLC_d<"p uцlGOÄڠAFp2wï:x/x,kʛۇxJ3Cܯ,_]=<_q GS3V3ƽ IoLA3pG!.L_P1''8'K2 i,)v:满¢M{nЎz;m* W7L쇵/5( |^@_̎:TrqX8.9yg>`٧]3Vˡ$nj^R9hFFz