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 ' ,d ] HOL-Cardinals:threads=6elapsed=7.269cpu=40.156gc=1.756factor=5.527zXZִF! P]ŗXf1-q恈<-¡$johkX2I)']8PIz w2N2|mҞn|ZQTr8OZs$kK!Trէ2dF,gDKrEiqH4JxWLzX鯤\޺jwx"RyEO0Dz/6p3n[H~ǥ.W./$&`$O9Hv'3xZdBA -?OZFW TnS,n`s],TIj6VrcS`/\u])|.Kky:LM ).3&ö<xy!/Oګya냚y]@7-i} =\(,)(STA>uPKNrg_ T.d0le<ɮgGViD-f?;$:].M`Tg-?@|k3X&G+SEcowwԠ th{s:ʬU,`ډJ~4oYK*D{gYZ7zXZִF! ;)]ŗXiɟ1?ߟt;9BP2CZz眭5 z >zO8R!£΀'Jpe~Os{ʼn60"]|5ߩ&\ǎaهb [CXenRѧ'`T Fc-$]M0#,).`aQ˖:dHk]l!TrQXAIjٳHA/MovILX|N{_^8Bɬ| lGlsʍw REh= t<K gYZ7zXZִF! $P]ŗXi%> z'K`mZnmabLVp=#=۔Ԟ.s}6ߨq;,°;\UjNڳ&oI@ r Bl\_pa32W?ZޚbĀ6LnE6M_[ƾ[10!9pHHj~mBH3vܚLZ}WtXҖ=nkY- f7!וZ!{_m򯄢Ax<} X+M*. |ڏ)Bgib}j dT&C{) ΪGk"rO "t6S"AIA+^<1OSg84R9I"g$ x!"