SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 0 \Dl ] Datatypes:threads=2elapsed=47.050cpu=67.992gc=5.392factor=1.457zXZִF! u]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$m7gZh:Q%T=ĮuwWCYfe݂@B04;m8$`m^zO}'4+d{mZ?[$ϵv `Nr7*Lμ04̀Etyz D8xNneT ^gE@ޭsE]eܳ-[NcŽEFtqE~us ;2p~߷`Nߙ:ds.E_lD_9\cL.jlZThCsm~U VJDU;Sgt%lI  q/b\-3%Г ﺵzY%]U$ؘyG?"Pg|6_Wfeپv =$OQLo@v^ ^QxY{njd@4Ju]xc2A酶@W9^{3urLUV{SExI0\gYZ7zXZִF! \]ŗXiɟ&zLohgT𕼝kV(|95H.#Զan]s T 8DYv`bh.(j 3`/:O8 D[K3#Q+lfg  ]a =njFfTxDIp925٫`* k"Ҩ3v":͠O`SU# |iE[JhSN[6 '3g-xHzSJ֡.,80>inLKyd ^Q 8W3hS !".VTvOѝTn4!^>iQ[E;L%O&xTŰ~#v*DltSHC%U_qU.ը5+x4 rf_uQgO0C{9INz,ޜպr6^=־"]k%KO&lT,3(ͮsەS2zr.e95ɱN$ OHUE'q^V^\Bch}PXajNfXi@p8(G/h?.s>E9}K\U/r|  Ic 7m->oLO]6OWr'4+9@)A?,w#ӯ`Gs Qx̰D9+Mtapz)~}pQmd5rl`t)3e56I+1.ݘg4$1Qmo37=oа/yD$Zs(#**j 0Ѯؼ C-L*8"#X%G1վrTjB WlLQ7- {Ra@}LFK/{\lDם2Ǹd򦩰qP0l 98/Arx4 $L~u3yYs |rGE'3919k;<-̯ڗ%DI#h8 Ig3Vf k / `HQX`P"Wc{{)kٹAUJGMU:y%Tٹ"pKjK7MZ$Ll 8R iLPQoo]J@'7˷"9W:*R$WOQF^cc[lh^Gܧw)7uvҧ#Pn^ ܽcm6"Yz6kUnô|iSh%ed{>;^]chybEVNEHA2s˗r/Š7|nqnߕM+VYp3RׁSj&_I+(/V:u!! h5(}빢35QX1L_(V>4N@/. ?ȰSR/6?2\˙@?n-}Cu;QbmS0I \0ɱdDD pY$Pc-0~w^>%WtYLH=@Bu8}]K':V=Sk."pOS Υ5`A;g ʿ#OV ċ $UtBJd, i5jϺۯC{&ǡw˴ʕ eαW:n4l19GPWL H:(r[]>¤_>Tz}3i[~yRDCR, ,jUAA:lF4˄Q𵛄[^֬iB@OdgYZa698700e0147f65376100bd49acd77b376bd5d343d2535d0e4bd099c4cd2accf026f19c1b93bdee5 50545c59d9a0cde6fc6aa2a10bdc86c2adbe3a47 04eaf61cfb455e5f1fdd0305defe2d4d81fca6ba   Datatypes