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 ee/ Tl ] POPLmark-deBruijn:threads=4elapsed=16.335cpu=53.092gc=2.376factor=3.257zXZִF!  ]ŗXf[&J3MRag)-C X³9`@YGc E2mMաeML-A7JkaؔʖIYWV矜3 UFq6(u0myKY*ۼb0l{>C-V$1ϚZ*Z,(J=Z4Uܼ,$Ӎ}~0O+'s=e]@HܰEд' ECUGajlv %=2ױolSv1#=fٺAW` k* c-Q~)b2Ɛ 9j071WCtۤ7Hv=e$K8WMz,]loBl0"/rHyxN18[`?^Ѽ{N 4O27.侱gYZ7zXZִF! ]ŗXiɟT{F moEhuFwj2Ԝu٦H(}Rڂ,s hT%6VGU[ҰmNawb(ݖXgQg87cNOiS6L փ69gYZ7zXZִF! eTm]ŗXi%B4\[ 닓\x34cn/ԙPRl$RlYX>)ހ8B;)b!ΥNj}#u6ł7pv`3Oߒ-U{ǓAýE$l?CjJV1}ru/AS <}C("q,i{F^i?N\l)9~i6<`PCw)t. ' Wp NBtS  ƈxZZ':@n*u'HϜ߃{B!= ]/'vXɗD|D-ΓMy2uEUF2 Jy:yE0ܻX'*{PO">?d7@v E'maEDLhR"G&IP M\mĆ\B|i'nTRM.<49e&- :p BËg~xZؠJL<|zȇM#J[ۍw Jj=`om!x{:,L]ZkB* xx5I{i쬝 &\ξM_ևy6q9ʌ)E\YJŤ#`""J-;gAc3s <zÈfl*hPIgY-cD\N\7nǵFDEB3P}#|+KnQk u=0PU&/ jVY.yDu"0|r"`r-W98>갪>_ /z,r}@:ɞ1A%IImM0|_(9%D%ʧ B_1 gaxoLzEKH9\Yl"dR[޹!\N{Ik-~-s(`=SرpA+HB 6 Ag v8R!k 1HIW ~$ɮ\CRgouD hpE݉̐,]3~(g43=hG3N]+ԫǵgᚄ7zrnLL<9S(aIӫPkLw_Ww pOzV1G کso c _:'u8'Et{L _-?!)gHp~S'>Ix(yZd)%iMeёKJ$э'3[]})3ȮzU)΢)IGnZg,vڠ|d[)gM6h\&EOy$/+Ca~SdP *CEҺt?U !a?Qte{W5gF8#6W1nAk߅TE_ݞy? LLx39> 79t=CEKZh ٢"쪇],ءc$^;iQT!5$%W 5ni(H)]#:Hg_po]W >ӖgYZ04873b26db84b638386131b38d63bc0a7f5587d89cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c / POPLmark-deBruijn