SQLite format 3 @ " .; 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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {$,L ] CoreC++:threads=4elapsed=162.019cpu=539.364gc=42.316factor=3.337zXZ ִF ! ] ŗXiɟH)0%o
W3DIYL7j}UEEẄ8geѪܿf`NTPnMCt)\ 3_ꔩ/9R*"f5p"A0#܃ꈶGNYvvJXj4ATϾ<vU?t 8ZV,`W C14x߶}=>܁#[?8]J wg;RZ6UDċ"ؒE| :O=3oڜ=eҷUf?boij)v l%)K,(JB`HB,GḁMZMSm!n§s`D-NF}>\mWjHmglUIMG9}[\ ~;`z'!֓:;{u+%-~#Mo>u*Yb3/Ec¿G\X>LX2鼗aq'IL-`bh9g;`zHQՙbkBůA~a.6i+F#Z$#iE7-FFT6Zfě U(7OݡlNC 6pS/z[s3x 1?9,M=VCa[aVK9S1y7u_Ep7PD'4@\NUC<^vW`H#diV{*ӂ'(3:u]ȈK,Tots3xO,댂ZJoP)wr{*ptZ ;h5Ss@tbX)9?@czZyxAێ&u2(zAjrthylN艨Jz+F:g)b d8wl'dD_+"K50b]]kL1-w_h TS^\g>;@qF}'`qp^p,d; :sŚaAq sNz*"rtF ~ygFVKqA\ @]z^+Ԕqa;(}6Y 7@?GE/K^]6O$B ꥩ;;3&.[['bYY:_ k+3ow,O =-Gn2_tp`ـ(ͱWस)T3eu%70Y10&Wcݓ,Tg-.2;l:Am$F=,QηRs-BoOvQ6Y1Uda WTҢNd(X]hMl~X]dat7h$6un{A~\^gM/zYy aJіʘ јuK3m %ݛ&EO