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 wC ,$ ]% Comparison_Sort_Lower_Bound:threads=2elapsed=7.832cpu=15.040gc=0.776factor=1.927zXZִF! :]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkIwv6<6p,VjM̶܈ )Er\qF畈 ^sBh%';9?iXS8QMe]nˆ#/d L93C.lCi Hf@6} 8YFg?sh7Z],oL!C1"q~ɕ^j/!?b$6~%03P㛅< ݵMaC M>cP$qXLE۵F7s- `x iy,u=$302Η-H'lMr\|8ATP}3]7 1NlwG[MA'AQt`x:I#"/zRvp>N_ʷgYZ7zXZִF! 3]ŗXi%q( U-o;2Tkk\].W* ܛ|}X4ѯLpg=hr]I6;NaL\ C-*sN%uꎚgǧзR8[e\_6Kڒ]4FY/c7:>y-ጊ!e߱n@B'G4}n_< Ѿ 9Pz&ux圲q/׎-G1\\` vyY+5BRu%hY%JvM@2]唂LXFH4?+Fҩ{:ʍEvDkО TP:3i>HW jn2|~>po$pG _|N&~Dܦ^,fԯvsU5eV9AYI(]2{y*ǝ_mkFP!2'Nu+y)]ŚvO(k+{/Fzś7#-kJT:Y+\/ % ,wϠ:Km{4H+8Ե֢V*ڟ(i_&hSDe(OtI>G B`EKgVl1y|3-?1*t׍aOSxǜS#UA?-h Quy2%Qkp9cݟHFtL8ҿme!:B|ں&`Bs @~̮7I>Sg)g:gYZ4749c273c01834b7acd67794f540aa0e4b720296d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 a744074b68092333efb92d908d120b47093455bd 35bbde2028971958422979c6d21589252436efe7 C Comparison_Sort_Lower_Bound