SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info V V #dt ]/]HOL-Library:threads=6elapsed=62.425cpu=325.060gc=17.636factor=5.217zXZ ִF ! v)] ŗXf1-q恈͐7ӺV1̗e&$W$!>έhz+>뤡,[>u:^Hq /87-nEB|ǽ[v8pbIp_ Cxv/a*CdG"U;`.DELeqKŵTlR4)1f ю1'xqr8SkHq /%g IxM!eҔm§LDm'dV1)kn("D:;Z͑_sxXk{|nrB'AOyzZ8.v:SԅZAzckmXAYIؓ=$ŕ>jDe\.ْqq0;'@\^WsckSjٜ(NԒUnw8%Cs{Ner<.Q cR7sxhL d:-pSg+0_] cR})A?-dtb3BlFL)%Y ~Oƨ5V2`0Hb^7+x"B)]3e\q#-O2iIXܾKS@f\/0D٪YĻ^{{'ěs`u;P
6|eh̆\g1|Y
,V^| VEȀ!
J[N|ۀ$(cmf `|(
7@~fIu +uuϤDSC(淈Ѝ)NEl]-ua}1K3)'sOٟjyi-W0p9crN.im:]<᭜ReLضWQYb7ǂR[^)ҕߓ7:\;8P.} 'w}bdi_U6p.Y).ǻU4͗3ڑg7V