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  - \4$ ] HOL-SET_Protocol:threads=6elapsed=20.950cpu=91.808gc=2.404factor=4.387zXZִF! *]ŗXf1-q恈%vA?'GAq,$L;׺N'nod9evE}2TAxa#-P 쩻FMoW" l`߅ģ!. ,Qm{ KeI_lu #DŽ,OFr_/;RbZꃀon|)ա"mk{\:k4"dozdn= ~"kuc)Tp)# 8G qdԞ!DR=ROumѭ5 س$ULSJBn=Ĩ+~l-2fq=Uim: Z tk(4$*G5UE?k.&>+kWXw~IØ(X8Xi{?KzOx*T f a̓j1 ~:x{[!)̺ZWNJ%ADfJdƢlb$Jr#8iN)T#?{#\xY^պiBz0I̚"*;Dsk?/%vD8`Qu [ު)4U8 $Tn+E5vZb.)*4EIᗫR>>q,rDHW.L}grC8eVrB[;]菳w5`m;p aW4!.1&2kxLBqY.b3"%I[^kW| ƯG_"&E\ h{_N~ʼn3 aB8smYICh)j!Mw^Sw>JǛnޭq#tѨ@cr=0lqH01߀|W>G=%]{0 aX?"t[易D:mRmuc~9T ! to9EP6@!4+^ Zp%v ::U2rb ˞1R#_O9x<]w ܣ.=a H3Rſ<}?Nc)?+,gm3