SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 m) T w Binomial-Heaps:threads=2elapsed=18.874cpu=33.560gc=2.760factor=1.787zXZִF! &]ŗXf1-/6vRZkc- R/{^~|D/=0|NS+k~dpFyrm M8,҉`_L%!|ؕz*]?Ǖj"\?Y|0BG0]|7;dƛ%&ﲈӣ islSC8?ӎ Qg1jJseϧZdSDi@J [W 駸ߪJJn`οN_KOqDOo .--rH.3++P^PXϱC!;B qX榷é 9g^Pr"5ԀA%s `8{#4 #1.gģ ̢/rQX _撠 "খ)JhCԚC ,g1_{8us:A&f<#Ϗt͉ ad<#ڀ}eًgduCSPmdE+֍s Q` >yJ%61a冴" 5RytS+eH .}))f65[%Az]U`Xn x.C;N(g;@40heGPWLd:i-C`eULQjj6^A7̄ppZhMιka+?eN#흖/ H%&%B [r Ī&+L6 TtBorPHT"J׹y kEY?giH^uϴ=;)NH; >_mfQ0סQx`53Ή&"&Ej,}4X@Y.E _e`7|'?09E78N "pAT[1J.)HQ D F/_ۋPn0LIG>GS󋓪+AFw^  0p9KK?'Z}l=kbݩk},z 1UɸFXH@]odA]GdbAfn"--6.$ֶ_b#f=q6]`EP NF~b]DJde,:3ejYUю+ݚmWٚ'XD~,CjI $L ϫm)ƹRp)ǽgF(@#04 ~ ||gYZ04eb82072791d00976062df95e35b81cc3afc530 8237bc5dfb02f79ea261a0d43f6f97a2b579ef75 add258111776de3303489072efdb722c0a076586 ce9e0d90f61fd3a1a6dbb623320e7c2ecad3783d e06a055435ec8022f1f9b84b24263a790204ad68 f0c7a41e25c58d76af306a704e264d1fe7fef480554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a ) Binomial-Heaps