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 q+ lT ]/ Stellar_Quorums:threads=4elapsed=11.324cpu=25.600gc=0.264factor=2.267zXZִF! /]ŗXf[&R!h~3/U*Eդ]`t,@t 5T2DQax1Ӛ~Cyz:%e%5]i 5/~&5Y#$ީqԱ/I?{w'>dHG`dOmvezs0sb#C½ .LA& g B96=W=} B9zEjHDyt]S}(?LK\0/.'Y}rohhKL;iN}ɱgYZ7zXZִF! SF]ŗXiɟ1·3<;lDǴJtOTJw{ij 0}bT)K}YZ7zXZִF! Sc]ŗXi%G>F A\%}5gh#'9JZ̨b̻zC̏w.{`h#u*Uz*AW}ٿh_nM(mPe̳N h$$z}#yN.[Eb<ɩWC /գCS|UZFp>i, uw-Yi![IvTTK-MhɈlKljIȬ!O퐵3V-9lbKm=J 1ǛyQÿONY=G˃1*xK% v ǿhX g2 ~ȸ9 m,Vbb@N,Qj,oXOO$%>f?bI)Ȕt(nu7&B;+/afͥHUiOr eay |VA\q)"O CC{V/U7yqR-rٔMa%mc.&}K$IMCѧC!iG  I.%EҔТ,)EHr| LQ@u8 Lܱ"vD,k=OpOT 4/|%嘝wE3eATIp7 o-#|1׭OOzٰxG1 Juz OD&IR2f%PQ?޸!ªw>:AC#3n*!+ll\7Cl3)S AlsVKÌʓ"]oMpc5..-CºG-f]=O#Rok&\wDOg!1U<թ=?G$n{"0zFyχv%>! -xlT|OJfy*pgV{!&muu^2 OZ1EtZ$ Iw\?%kf31mqB=!!0؅C/ZPO\oLGA],]ʙ}c,=A,=!MxMH0\AUEl „O Cs_B͗']h[%،oy{0H})A sIpʤC ùcBf~ zgYZ466ee434cd3d7742ab8aeabc7d4dbad9e5e2d59f4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 + Stellar_Quorums