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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info |'d\ ]S Taylor_Models:threads=2elapsed=138.220cpu=240.092gc=11.152factor=1.747zXZ ִF ! ey] ŗXf1-q恈ŕ[p){th^]ݐ$Kt _Ys}ұ8[`gL:d_ITׂѭ)}$vO7VRkbLͭf8W)eRKE&-Ht~$6OSham2M=ĊCd^% \/n*6i]ɾ7[a [ <.r4"Kе~i8FY|'fDyK ɨ%enDbZN.(]`ugZ䶿B4X:BLeBLNе+.PmGM']%3&ra샨1,VVs&B_o)l= Pd㷷96(PS/^w2b_VBX \u437q)mwCDЄ;W]JQA#Cqeٵl- $BG[I{%AWU)锪f1]Պ-een0=Iv%%Z3sU4˃7X"G$n|W mo6.!o+ȍ-F&tZ,|o?5FԪ@0?:NJpQ>cy#BFNXӕb2P)i_9x5(X埒Ot1ÑxO gi?Z\!7 b%a,h+[²31ekP#DguQ3^֞UMtg[D&I4? ݆\oއ94<.4vL_IJ7BЪ6\mGTc9=Cv~ۼiŘH qI*~Fc2FK^W`Ep8ȊeTɉF%\QR\z "D 6= eX˻Y[\%-$io'1؍$~4W?H*ڱ8t g"ȃ1T^^#HN1#ڜ 9l+p Yr"\vkZH!L^U`ꔢ|[9[ӧIP7)D"?>#L(zi2 WZWuU^MasȌ)%?wKmW*` og;'vro86 R@MËNld(:|t .C~=8K1ZϜPi?DZ=ݲP_-6hNݫf%#d7L nn2L~tl`" +0~o68<ɫÒXK.N.a߃4鳖p$B#I'pYE6}K1I8,} 4Ua5_Q֡. tCJԲB*2-s!{ʏ/3K:n|ztE9 ޛƝwWA&4I} եBAt<;̿-8ͳٔ;QwWCoQGmr:<-* =g E49Ttk5E