SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 o7 D$\ ]/ Transitive-Closure-II:threads=4elapsed=12.226cpu=24.108gc=1.004factor=1.977zXZִF! ^]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyai_lH්a]`a}h{*gC@w+K>d8Ԅ=hqt9eUz@x!\۞di}/F2, ىhvgZ_`` 5VCn%"R8 Ǐk]39ff^Ĥ:ye]bvio۽TVG_hfࡡi @)i pAUӖD4/rd Ccl&d#Sqy50G:mX MؤH<.t:9}٪PN_.-te:E׾ |Fu7gsJF(@U=3 0S-t w]cS^5qT?4ȲEhlp\Jݒ]Hs%~R ].GOP< Cv?gYZ7zXZִF!  ]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\$x<Ol./cW fwŁOrnD`(初xGzѾ\)}ۻ*q#Gq~^QN> pP&Npoᮣ` v*g3} uݾsfEnG9,iYezNZf#"l0{>dxD!Rعx'ox_ a]h I.wNVq)XgYZ7zXZִF! V0]ŗXi%GgvЪ4ʠiYi(dH Ou~khز܊kjS;-geS ^﻾;ޟ2 ԭCMf\'o"Zj}o.IRawo2ω)D fpN O@RÌcyAL=Di.=69A 4OM|x^cxen+/uọ6M{s*e"O65BcZNC+编3IآxZ"Q[j].@ߖm/{y9^$DwG8)qbQiM"(ެ6sWT) HX͇GG ]zfI"FudH}Q: ~liGTG!!TcS` zYپ)I9eTn|쐛cJp6'e%SyW_AT#PͩLDeR" 0l9Bc{Bg@9d HZY6$FENʛ '.0->l^] %xhK."q FY՚(`r%UJުGga[ᵗȩw\W+p6H˵,P;h]"23?oX_Z"{խacQ KN Hܻs7i:P!|RlP{%4fM]PM o (Y?${PE;E#*s{?4Tp`p,;n\&dyN,!om)2;qC;*e} 1>rec·13}}ݍ:Dc|_@ 6q? }qkvkז?G\ojwOʙ݇"iTxgƕHJ\ǰ)p'!ue`Srv7 2Ď7M1b\ԭ>HFj҄Էv