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 GG6# |LL ] Integration:threads=2elapsed=11.210cpu=20.796gc=0.732factor=1.867zXZִF! ]ŗXf[&L=RgߴD. t03<ЫT^m&`ABAN {樵<(xpA;i 4eHg'}ŗ7^Q|ԽˍHKЃg&? 醝S`*|ԲK`TX! ɏn^`R}"lA.9]7E[? 0t *urY=?/Q ձgYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 0g$+uIb0RM2}$::zBO*EWK ,kZ1# OrWG_RW23vS'wtlN6J2iV-xQgYZ7zXZִF! J`]ŗXi%>gV5)xk f鿤ZmeEnKA&Ub̫P$мFT<]#9З24vc ;LND!1su?A3Np? X{[8mDDžQYܾr%P;n3Js%xC!* K;C'a^r{Q?tӝb^4mj~S_YU m}t5|FW\uV͸~ ^U$?BLTdWP1B@ƵceeQiY?:Jkq 93OQJNda`2:h@l'^￧|< [~נ\`ڨ\X]^IǕO;FDQ/146?K63y14L-];CV}<TBB\F9 6QF,+^:__'>:&~r9~5TҒ#W- 2LWԺj@.O!Kp_ O2g@ K48}\)WВ(WC:ȓW+mMrHn]] Y\;Ď{ b)xz03OY-%Q|`y{%ʤt} B}~H#TN&0OxX,v`+1 ˝Y! E6æ ,@;"&K-U2dZR+1̏wyx8 IՖPo_a\7h5hS LJWF߃}"t]1妅dWn:=W!{>n| OōOǠC|gJ6#ΊɡSN(/ rz6~! A=~6q_qZp"d$g vWseH:M\l TG#()XkJ1<((Rc3 C-mQmz7+> t;4ѱ>OLD}L*oG|^+SYʵs\D"u-)O9mxGΜ|'u8b9!SgYZaf74c149730397daed8970c1ae08abf43426b5bd0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 # Integration