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   ]/ FLP:threads=2elapsed=22.134cpu=39.860gc=1.432factor=1.807zXZִF! $]ŗXf1-/6vRZlh[j^iWrYWrWzux;6aţ n5`V gHVNKܺ `x/kIl'KCYwBd뚱*]}h>zR/tn_jOr6a|ɚۏ#~VF!b8>m =Jr2˰f0Q˂j*2-HѮ䥐ɎHh 4Ϲ"G,St! "Db`ao/E;F#ʖa.MZefԒ߃pBZ Өq _|dtٜsxs}n%B#n14l)KGڑޝ7bBiDU=7FJ幻h} m|"ޟӪxڹn,ioUI& !ǥV+6w[v̈́wsRu̞I {vZ2ֻ֤%&*2oD`*ڏ71JE(B7Ub*fT^[+YhAa/CoJd+h:Xe=𖿄Rly5m鏛#@vvT< x \kZ7QdK2eoD;d@DY }.ô,TͱgYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝMNPÙ*wc $&  . s(bP_ ,>f~ra ]TUkPRX&h1Wޙٚ}MӦ0f:A3v닑S?x,<$냔d}Kߢr1XY gYZ7zXZִF! {>]ŗXi%>gS#:^|UC/y|ڍkky8.jb4 z§Zu 0Rzq+pT&%#pGǦ Tz1^ga6}W1?N.\-M.DNfѨLn&@cP~8/J!w u9ٞ<}rµs #Ar-~B`q󽓞pt&2^i{ ÃŬ".Eu3Ś)qPr6d[gg]3ђg8_5:/HEA&J"+S CGY aaNsmu\ըhU 4ʴ[l oWB>CuX:9otv |\|rvM ace_}Ce"aߗKfѸ;A; FPW5+=>Cdz٨(QhHXdD1=4@' }10OEYy(ۢ%} Z (XT2Z|QHb:0  4h9`vv,0Y㯍{kJ]wƌ*q{9fJc8w?wDIvTݥ9x-/?w(Ht,(j<h %?m ds -}~JԏgW^IѢ5w}ߕ /Ϳ }գ-nzi U#gߙSs/{G٥Gi@É#nkhp sVrďt#{Yxaw+4LݢS .WdrLьRKl((A 4bh$|ѽND6, h(ܻp^L>o" wP2:ze7a}}dG'CX̝UliBx~V 7D4Z$j3 N0v(Mt5 >I .,o1쓼Eq۶r%4w>ԡ/ԑy(ڜ4,ՇѦ&/M"' eygxfP R85~ ֦bS7NZő[QY@IoxNgd|@tzK 9DWl#g *;{F_XĢ& $]#Q?(xL7-xP0=LE7 Nސ?ˑA甂{,hPq4GMtWM[q-*)->W#LbSwFN9y3[9jPm,= +A89`oFgB/SSl{ g fӚybJe SpE{ #Z ]F ?-k2 kXv\n iWlTp%+??9:\l=hQCK#sgL9lHᑛXX c~յW: E€ &,@ظ󠱉ͯZWs>N8Xt[i_zY$F8BsהHs@s'\Eo]>D f$3S@kܔ6Kr>G Zck }-X?ufđGC U5pnL Ya^GWX}}z7uW~Sjv?-gYZd045e8969d64c467466ce60088d976c706bd213f665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7  FLP