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 v+ t ] Lambda_Free_EPO:threads=4elapsed=20.611cpu=73.964gc=2.740factor=3.597zXZִF! +t]ŗXf1-q恈<-¡$johkX2I)Zf-@\֯)sܱ_1Ӊ2N5X΅}uky :2.*Iض^O!0s<ʬQzp)%jxYT8S"ndW @;.^ZՌ FAb쐤GK:7SFfoEjKbWh179agrAyBsG_DcB5 {D(bT ̸rKRL !' CۢKA78gk + Lambda_Free_EPO  GxDDIB'#z7{a}}`PnWᩁy%B _ D D߂AKOݾA}EgH9}Nčj8Mx&/w9@{L2*54f]CcoaC}~Cfx%C^I(y& Wka*gYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"`Z^ sQb+{&#V鞀Vd)6V3$ \Ao/61Mu@+o.N=xto)#)hڽoy\tDS~&>H͟"f:@7 HjX4ZW`DQ4+<S}vw^['&Fl5 k [dbN]gYZ7zXZִF! Y ]ŗXi%GgT;^9y ;lin$|ck8CNN 36z0stO)괦sjťi{!osݒ8LfU+Nd?]婯 "g΀5:6>NoRXJm#_T3}}ԋ b`&'8~;~hft8J(dCQ´R>U!|zE^074Ͽ픒ʝqA M YN>_|k %*q|NdeK>M-pGZ _Vbj9ٌf҄Sҕ0JËtl!k q `< 逫- AAJI߭fu -! Sb!|x2g%;?.pn+UX6W]jqC~s>%!Rא^<{M$)Ds6[筂RdŨG'^}z{?`_:[b퍋ƈTg&aʯNIR-~;ODJ#АD~A[u?=b"* n9?2* #GNiKutkVW1z4~ 0im&t3-((E;=}ωi*O:\^a $ٮY.ly@FDZ®`k ݢ" e5;ܰQ^e[d]˥kd33 v"&Qh`ːN0ї}d\@%,jk TKl-ƒL]+mW#}`ؾf8eS&\]>~!gŖ&mLxK5E*DцV6]X4Q) ͤD)/( #]Nmh H 1FSL3_ejc03DmGحc {t>|X(42U}8PQRl @#Q0\ !XUxLP~L}60Vl]j»#,\s9ZTε@ oި\x칄E]o.p>xN=o3yy( [;o=K.he"F$TS8q.Ϟ=Oq>=5b},(t9]CO\^1: %/G,1@B.'e JhSzA"0$ Ȇg+,$#/}mMYG ~WIE_4_:|m俍?zQf 4vv08"1Ut.Y]10tTNm ŒCE3O!2Ŏ;m W8)TM_x>Z\Bx(J$4VӀM %+u S/-3f(N7Pڱ5!26dBG^%hkebVsGux{\D{5_/zM 8 r=<m%f8{tD2rvߥs`2!4/@Nxހ9٫l"￈Ú5z[PFlq4e4fŊ@_2dUh7@=MgsâlMK3e[~Kx,pHrMbM0w*2>x۶,GM@֊PLJгa4].>EHsg}tv-RqL*HL8oZkŸ~SG.nx*xXA@u&Y n?ar# Zs7`*+flr3h?(N&fAUhBƥe=; {ndJB |Vqz摽kD]WM~ R zvL "BqdYWb:w%ԅ#HM1&4ZgN ~;@)|Y6.džK GTmj]qn|3Ă:ć˲צ ! +A$#=-QʣqG!P@bZÇ