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  0 0M# L  ]]HOL-Nominal:threads=6elapsed=6.197cpu=12.884gc=0.668factor=2.087zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ5`n(rjf}A f>sRU]'$%/\&o϶|fgs/~?aHzA4iujHӚCTgg=b$.ǃXdB>&Kˍjӎ Dki\>ނ⥷ڋMF71vй ngYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´ge~$ Bf*^3tCM@4,t`I'{J}YZ7zXZִF! z]ŗXi%;%k4Ա6"?!:blƾWYvDy`O-`CJ ;?G6j83G>WAUMͬRUWnqer%LSbTμ>ccm3>k$ PN 1Ku`E)jέv|gx0۰~БAs_~g.LaiN88I S"̈́ҽeT߄UE@2_ɃEV#%pG LܭS;#qҞ W$!)'n Hbajq)y=rb`gwlP_D-'UpAMdT!}fطa׾~)eg cQ/z~tLz7Yjּ湨UF}&T(B-CČd1B5֮> 8@ O۾7Hyܘf/d}[05,}ZNI`|+mS#c<kvgYZ7005f7d54a59df134591d9d0eea15d881ec3ab22b121211610e458dc97d612673bcd7347cff880b9 1a49b8a85ced53b842cab647e6c466047ce342b2 f09c2300a0729d3f40460de3221a99f80cdae554055eae947f1cd77eabb11dfbb0ddef011fb2026a # HOL-Nominal