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  }\| ]] CCL:threads=2elapsed=6.583cpu=9.264gc=0.684factor=1.417zXZִF! ]ŗXf1-) enȈA"XxBT/'`a_=CaZg'qFJ3܁{,N-x]-˙S/ ʸ.ˎz(tCuKޗ ueochf+i9m^OJ҉r3+wh˕7\szGEzoeJe믲-bsLa'JIP?gYZ7zXZִF! ]ŗXiɟ 1FE`u)>WA4-$- @ܤNI|?R8$O]70ܑ=ƺ'7; TyU߮LBx:O rtxk+a1Dy 4@z@*K(opxRߠ1g}nK 6IZ8)gP2#",8]ΐcsph STVĸ Za]'*Y۾{gYZ7zXZִF! ]ŗXi%>ga\"UW!A=A.}`ts̛yuyoj{Yo*zr#H0_ԐPwCLG7~(7On_#Jqϣ>E/|>f68˟3GŠqL)VׅRVƙ p=K*)n%}+ iFXڸe0?l'^$h9[^Я7AT2wLtkKuw7% uW `>-uL`Z~֌K$_nEE>  Pڧ$o fjY@!\`x?;FH~0Kx4KYQZf+3AڥmvֶJ=!+83AedE2(9j",- 8fpA2|G,f#2Q؞ʢB{i~hѻZG̳•~d><6aWJSM=7}fΊzòL쭮?wU6J->M_D#-F0 Y7#{ȑLȃ$g{0]FvOڤb" uYί9!Xc3ï-[_d jK\(͵HΊ"IW3? ϋ{HߦHc|Oyˤ~?*2 |KgYZ10b02c4ed7424c248bb71764e9067ec22604fa1319126f922e3aa9c20f5a31237f68a37a6d2cdfb1  CCL