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   |4 ] pGCL:threads=4elapsed=20.524cpu=79.812gc=1.820factor=3.897zXZִF! !W8]ŗXf[&.Ir?.kL|{Hk:D\SjoM.4poMTDv#ZVi]fkspa>z)7H+^OsӢ!%f5zTBO:E/ܒ N~RĻe)P=J#.Woj)iEID˪ |^sf ՘pԻWԉ~ L!hYQO"K)vAmWk%x/%^Hjf՟I9}0D'Sx& zr! |xb mUA%]Dq~5r16\7rYAC1gXU.7#OWjn׀_]flLl D~K٪|90)Ԉ90#2 E,3VggTȏԆ RT=p VxZS4X!k b7T6&@$UY}SJ4W_Wx-Up; 8~ Ug`Yo1w1 Q@Rub=Y->az[I)]]Łn^`uS(ڻkx^>:;ˈ0ddl%܃c i>ŘdSkskY֋8}L^Tk_ָkt/kldoIzaMG4܇|ٳjSB jɠ^r8wЛ0졢 M_cKeZ#FhE%D8y%E*qY:CY !FkfF6+Mav]۞>wJTm{e%é`FT>4V1ݥB1Z VVwA8."ҁLY:bM9B tgYZ7zXZִF! L]ŗXiɟ: e=o݆$ʫ]Dd~!{?sFq^;p9n%Σ,+ Ցe쌐H\h_DT2%^ٻa b=j&Xmpǡn4ulOᱟj^UeXqPb99mv2QmŒuJ.*洨gAv@Ȑ)C0 yK ',|t|[{ K߱gYZ7zXZִF! ]ŗXi%G>)XM-"j4 T *igr-aeYK*Bm3@D9V_^k'Cԙ&V;[׽sv2b"Fn!3.Tu4WM1NJH*Ia`?K~P' JGPXjHS,gDkcF $3h$ ' hSQ P7KJeCoxIT:Kֹ7o12cRSpa|uo_Kw`b9ңEN]O%dFow$owIk)v1 KvJV]jv1vs-xv(8'ȝBfoXytdq:PC }5jBCDȰ`)1i 7,pҁ3/| ?!>^wA>XSz5Uw.ى^-2p"՘4sW3ʴ+)ܣޢT-{nQ$+nΒ\I\N[SB=0CFԸ6ڍEC?oGڙu8T (?YOpPtLgA )HV)RNgf ѣ68g翏G}F|QN}#VlU"89]4Ӱ+a8^Cɸ#;7A%8n5LRÔYKzms›+R]ꑃpqt/rQk^.?YS8!%$KSx)|[/wF x,ۦ` w>xO%'T_-quE9q -"dtSfwI;֊F*̡xq<#;>z(zPy[Ҿ*C|Q,W(6d9_X&šxjXa#* 0Z[0mq6/?DwNZם.K]HO$ uK>Qpc9%ZԷ̓T h?c`+a"0k3f4wh{'ܡi4I&9`W2-u4cOc|-ҙTo$|$? 'O??jw#.(Oʣ҆=>Ŝb_ZgAGWVl-glf1gdƫ:m4v?qF}