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 P1 t4d ]/ Finite_Automata_HF:threads=4elapsed=14.917cpu=43.012gc=1.220factor=2.887zXZִF! ]ŗXf[&pCZaf6fP&CJ^zDN3&=`OwH>E39NI6Ὢ{ Ues1^_FЪ4\.4>M^6㙼BlaW1C%2a? $h#;e#gpE|RXOύ F1@%@PHl\J mv[#\B}ߦ0xm G < $]1yPI Pŧ,ts&d.|hKX>؟'e]YdHba%%7 a8U`DX mDzXNofX89=$.)Fַ)y5aoh ^mafr(Dʱ]HrʙZ1"G-43egYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{Psb$D ߸2Z"S/HJZR]wlA&ߟً@Y3ƿ LC&הvkI#J??m|_{p!t^۝rB>Ts瑜[VaG1v /E3"HBgwPH ^}F ^ ),ȍ/p-j;(vҫP0OuH L]C)8L KN (rW @^uxI E}?V_~ L;U܋,Q~77۪bIP弥)H4 ΀" `I8媸[]XEg< Fr-(?3rUv*,b rZ mC53W(&f(Nykg YqRm$>Ro{$<b5,h=yYgevDEqUxh}Ŋ'}^H 8)"iLz(9 յzu5P{?xlh`  \SS;h|O_K~6c 1|,sO}ϡB2gpvi~)c(jXr7}0@~,1hHv7\S ͡9S"%5sΆ:ժԓy*Y_DFۥ)'0 I4 M(,KMVVtt("@V^q?Ba^Z+|kNM4=Q@UN@85ޖPN Wjº1eeȣ(w_Lψv«I>S-tՒ ~GgbݑFh!; ]_ !<hCRVdɶe p0tS > mB;D;Ns/Dy764O@mͳeg+]lOϴ*7"~5s*.Or< aԽU<pQCWoPcC;h$|)걑/ AlWYe- L A4)nQIw"/.̚2#}LzӶ_tj6Pu)RdQ9\vuX,2{9&_Wo}ur q