SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 j3 LTL ] Selection_Heap_Sort:threads=2elapsed=10.736cpu=19.044gc=0.584factor=1.777zXZִF! o]ŗXf1-/6vR[]_ʥ4*M[#&GBU\b` TolBK$oǻj%~ ٶWxî%H9dRUV;Wxd<"f&dgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj$>*(?0WO\GYQ'Av]@-z%d7BVm_s:|%]O(a}8Sw^!2sFgYZ7zXZִF! C^`]ŗXi%>gh(ZsbAEqitW=LD2Դy@МHIW&.oob-HF=4]VpH鐬E3 K&SJ+Rm̡И`Gst\ӻ IAQ|Q. G86JoVt C`Y8=e>qWtyc"mX4Ȁږp_Bts#Ö(aO$?: +3TJ&۩U~p-/3D#)|0BBuX =y ei63FMANˋ9Itz64d&יOSk Bwf={ğݰ cdB>#;A!8wcDžTDzSշ{ѱ|Rn㒹`8{]?}~j|C6V|ESnA/9nR,gfʕxn #HEJ-^2@lTxhnICiI d5lbߢե+P`)gEq)>˚TGȘab>bRUhK"YӠmO.F'9 <[ͮ gn$DA_of\G;lzkQr˜27k$U~$J{GMe PI~f"Ý%,WH T Ɗ ߅O3aM-ZGSyng-r9MFq0 !{ODc_yN_ kVDo5"¤F$8ZvrD!3/\3\̊)rߴGs#T0plDLcJnAsѠ 6@z[F1uDN;Wze+Y*]Yd*x gnXFϯocjbak)ᓈ dp3^kCB& >LX]O &J#W \Ms~EK;I0*r^ۓ#* jO1STdE[ҠAnf\#,,, ߆¹gYZ6641b8b7a1c895c22c6c97fc84382aea18beee42665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 3 Selection_Heap_Sort