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 b3 $Td ] Selection_Heap_Sort:threads=2elapsed=10.952cpu=19.224gc=0.652factor=1.767zXZִF! ]ŗXf1-/6vR[]_ʥ4*M[#{]cyeORiF>}IwQ=_4Ft:H~e:92@qYXSs:5&ĝEUs̎ r6MMZt9_>2}  +IW cN"A۠P| {Fk4",{#㼤,TAIV<2~-;Of i0=BG!a)޸6*ߖV0Ƀ]T1%Թ;oŢ!K #>gYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj$&Eܶz))74((?r< ")81l~qZJ|^Hkw-YskVhqxp'PvԍgYZ7zXZִF! Ei]ŗXi%>gYcصώ[gP)y 0G҅o-? Fl{ ½aЗ[ߥ߻SI9[Kʌs})=Lg龼p:Gg:Vލ]\ @"ԑs0ȉ =f0+$sf$5zD_嗊Zt'ē6[6"O`K+\0@ ^EYqCS%:;p _E)I<A$=ɩ.Oǫ&Oa7̽ xQklv9P3(A^]&fnaf88ftZy=VSs|}) xZ}h{Cx9j?{BM2"B1uhw)ɝ, ͯ3>[!w1f 4Y="}"Ƃf B8h07[NSzE:$7b15a9/ 4&FUVӓ3n 9ɥGC94aRcL$٤V 2|=[!Ĺ(^i`ꟌO9SLN9ND2%%C{MHb`A ^PH^\‡_8nZ`5Z%uVmL9O 0^hM-; |"\ {Pp8fCؠA- D&b6"KN.hem'Nk̲ߧbL_uG\w?gnk?Y(hBXX.!,x_}L,E!Pȶfgo9ֹOCk,' 3:UٹbKl1H!(L/tϓ)~_y e%Andc5::.o=@UKJ E4[2+PXt1u|6`XB, #Cx8=YŇ#0߯WRAи. '}9 ΅˞VtV|N8v.P Rֳ bhg[MOE`~ʒ`*9Nk\z3 |?0gYZ68be780b620f4087e8aad681198694bdf950ea9c767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 3 Selection_Heap_Sort