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 ' $\ ] Trie:threads=2elapsed=22.373cpu=24.772gc=1.268factor=1.117zXZִF! {]ŗXf1-/6vR[ltǧT3(O7?MVWURR kk_ \?Z, u5 ,j\pr pM @Ԏ%ZꆣZ %B`4N:%IV< ogYZ7zXZִF! |M]ŗXiɟl٢ :}*]GlZ+02h4,iQ;xy`yt)G ^ՇAi}Dh }YZ7zXZִF! zrg]ŗXi%;DCG2CzRqfcŇqZ'RT # />=u1 ޮ#By{dyӣIbΧ"H> V\+tiLeC΄"6X҆:`h5Xap3M#OT$ UUV t,\4DP,y;.RG,0 yQlNtR^v,U6Knu$'|ha~r*|iRQj \eޞքcy҄פaA$;*z;N SL8WIuy͉O.8QnԠwL֡ƛHұ0|1edKsтmHFb+iI:ߠlܧm>l}gΓ_Q˖8MNvXUbѻ3'"8jNvA-Vk9juW iGmuehWwBVEYl>h!NA?G|OE}d 5c{$ S#0!ch,X^_|#! sis2Ntv_$8^9IآO$;WZ(UF,w|)+6