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 v3 tLD ] Selection_Heap_Sort:threads=2elapsed=10.745cpu=18.808gc=0.664factor=1.757zXZִF! B]ŗXf1-/6vR[]_ʥ4*M[#Ճe§ h] p i@p%S,7@u0$7ʎ:(mW)_*tZ%WK'HBds`J x7wUP~f͎&y&&Z\adTzl' ͆P×Î>hjjE+4Z_j8Y/6k5]L,Y" *~ʱgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj#ܾRZ,n6.m5B,N >C5} 3:zU=p$W6wSzPu6$>TǷ}usI.avgZ^P]3gYZ7zXZִF! CVY]ŗXi%>g*evG6%!쉧/[OYj~FP`:vp\ Jm@c5,f JQg+ Т81<2|+NRWK߅+ ukTjO^:*7 b݋M͸TFJ"s[UT%\LLeAo5\/ňI*JuOu 17B:'ƚ/ qt-@,-"_M\=ѵu2 nwsyOfMTy@oJ} b XV]M ܽ9ҐI Z"^{L5H-?iM ;kSF:S'{ MWDtx8`;!\V{ Eٶ6䄩p,݅MK2x ڄގhEab{{ vV4N :`BqjQZGw/b Г{Eqx@.皊p-vu Ȩ }B;m@Įͽ' a աud` 񰋠tMJn}˖ :'T 3kT kQB Pr\YYN7\ ɃJ^zy.9f'VjZ׉I]ڏ4&SuïI!{B~njc{wȥY>_=~wt'X$c J$pӾXX9ܿpE)Lzx*lҊH(\C 5ϓD5+فD!zZ] FGɮm*|`8qzGEڪ͚W8x m.^|eLqDS@~'~bmF-y{LLjH ڿM<o+CrY+x/Dڮ(B!ClpE7B)oڅH#hXãJ34V^SI׆ZgYZ6641b8b7a1c895c22c6c97fc84382aea18beee42a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff 3 Selection_Heap_Sort