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 f3 |T ] Selection_Heap_Sort:threads=2elapsed=10.521cpu=18.700gc=0.624factor=1.787zXZִF! {]ŗXf1-/6vR[]_ʥ4*M[#Ď]bu Q!4w 1ފ=ġ?L"=;;{I#l2)W":Gc@7qLs^'0cu5իdI! \}~Y!PyP|f_4=iԾܞIv "5ZzoѣbyB. ܖ\-3ՆISobB5L4 gYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj$Nd3?1܂KҴjHpN:Vk.l { 7 p=CKW uOz)'ۢVr\d`zkי?nK-ۅY01]3I[&gYZ7zXZִF! AA]ŗXi%;3:& =" ``gadVS(X76YE( b?oھƦE[1'ա lG@50stw 8] Xٶ9&wU:UH?p8.\ςf_zySޗOjj=&=S@ɥK3oXz)2Dq>APE_4gW1?:C%j^/Z`|O_U ,kJ>,PLr:a1Z6^_`{#ث|ę:u}D{XRˁKXVa(rcyx!kթI*JR:* в_oWQ(R|31͝#[ǸR/Si w7(Y Z(K uG1n$Sُ&댤o ҽZTS V2 a]8re%N@Ax%I,Vbm6=Sn>/˻^\8C@Ui!W(YU#fGiUa6=L{?9,Z>0!=V$ j_oAU+ȟ[Uӷ:91?kR}IU-$]{! E5+8C*R!"6fH $d]@.ghJ:zڸ~X7..1&R!;{e=uq@GxWԔcs6H.؝DJ0JVT+5ṆFVkf  oһ> 1pj&j(X'׏&XpTg+]b3": [WIz"gYZ6641b8b7a1c895c22c6c97fc84382aea18beee42665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 3 Selection_Heap_Sort