SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 a3 DLL ] Selection_Heap_Sort:threads=4elapsed=7.374cpu=20.360gc=0.828factor=2.767zXZִF! ]ŗXf[&Qz꣸J֯g, sgZgťW^>RG  =XDߤQ_\`zni&c]9?o6` ƁINBS P:Ʌg(RdÅQ}3f06ku> [⟴Lo|;n&FJiY2n?ɖPf;Uױ檎R+Iz Cl&sL((;)XՐGLL\q*=Ew&Nn d/v9V_ {cX5Uk7n&~ۦi`\toOP[׻ NQO@i>S {g6GM]Z+.yfQ;WgYZ7zXZִF! ]ŗXiɟmW:FŇ״ˁ)ٮ-kZj# N*s Zƃb&LJ݃k2vbщTY(H46$c駌=MZEѵ-f2]E z7{gYZ7zXZִF! =]ŗXi%GV'yƄކO=S`~,|rGzhr ThT p͞10z rH8JO԰ yVXY2s2"$'Ohv ~tjUR7eބGA%+<<~( :Z4Y,ӯc$h'+p*fI)_2]" $<)Kt+oIU/m 󌭘͎]Valh:Z"Sc">_3grG}4w`,Gbk1JrjrT]zjssOࠥN]4Gv/3 ƙKvM{uoOҹ+Txy^Be|4[+~͕_k& [ !< 2n7Xf]}Aj=e=>#$4ݘ x;t V:#Ue2G^Q\'㣃YjpiWa26 6^tiyT>/)q uE F U `>B@BE c&t8)fcr-2L"368j=v B[hmI]i KCWs6k`ph\=x:N44dWƌ7۪j^A(ͦHƝlKsfe+"Po>Snuz3*x?ixa:Y ֡dU!dL,`#NDe3-Ⱥa'; .ڵ4"ȅ]/ JN 6}gjqͪ?UBb=!&&"֏=rz/צ8!5e7$.hHd}Hj+z)_2wfiHVi/9bGkI{