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 "' L$T ]% Tree-Automata:threads=2elapsed=34.438cpu=60.360gc=3.236factor=1.757zXZִF! `]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXb&Ǟ?K1HNց9͛o30Z-sM-hj\Z~j4/!Oc~L{HUړ~nj^68/ȁYpdPiZމ2]OHońٯ+ ŘqqAP 3ehiPՒZ=>nfܢljR3TCmbLW皠)ԏ|N4xDhҶ( .((8NSLPXgn%r;?*g7M=>ÿN>]6X~-)%bzRZ'S/ґU~bc xt;$Oc9f.A#zJ\x"9F7=gYZ7zXZִF! ]ŗXiɟlAC?H 7Nz $̊e~s;mVHeb@H^mk6o᳒7d6a[%JoŠ㦗 * 8fnW5^O'9)Ҭ9rgzߍ9b:ڄ?-/5 #(%̟o/L@I39g gYZ7zXZִF! ෇]ŗXi%>geQ38kr[biSw5v @ yݘ)#S0`5Wu G>El=*oJ1=!up@eh:V`ѱicj~r{,Z6tk„(0R}Jbj hyīyeK WeEe:7UYXGDJ8AW\XbFaC͋ %|nJkۙo>vcVMmٽ5UB&5J`f#3AmJ"H< Za؍čZC`sBBj゠/_TՃF%3qP†gg΍qe !c㈣Z\[ &r{D!6{krR@yH%Ye3e V K8 ]k'Y8F3(w$_.8fn2i2K a(})bu|gҾ$ag)zsB?mVIg+.Q=] N%3 6 $utcU#; C(RҷeY7PX:hFjO䅣3Ɲ# A!h14.q: d*c[aU C)}:5-MP=ǐEfX:nWtx"[=WK;~6ʬ5 { Øe C$0U+ آ& jTch[5'ʟU*jfϗ'j` PCFt e*v2` 7xȂ=;e"A?UYK#3O޳Xv;%2}tsʼ Vϗ d,_HvP]ZZ$%{slu"h\ #gGBOY\2&@ʼnc7W8e}W:9ZBٟ-+cݻ^଻D쐙VZ HB*!zr)}=E:YQm72mڱXԫ0' sƊM^:Xtc|H۔CzE1۷? $v^.-Lz$cD#}MkTY&( EAͶ.d[CgYyE_=h3^HKu9LKMwwlU|YyפYt±gYZ444896f3b22b2dfb8ffe1a60a86e69db45c26d75a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 6b8c07c29be9e22268dcfe432d5c0c9b09163bca 083f9902691e545c91ca63c0f3e471bde55c6330 7cb875d988d1e3bb7bbde6be5305b3f83e991f63 ' Tree-Automata