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 ' |l ] Trie:threads=2elapsed=21.684cpu=23.976gc=1.372factor=1.117zXZִF! .]ŗXf[&}ynZyI k|KEw^]am܅j?Y(~ ^eBaQ&Пw8caĕi-w.C_BLmݺ?;"Sk,5Xf\ya88־# ;D+QZ\qGB`?{f#:yNE5FgYZ7zXZִF! |K]ŗXiɟl٢ :}*]ӣ-V44Cdu^3赱a7=N6L>J.g}E$}YZ7zXZִF! un]ŗXi%>g hJC-3LlliiuNb`YP5@Z'봙ljzEW/5b>fٰv5 9q_WdQew*<$͙{ܫ/`2L T`HKsm-C#Xhέ~WbJXMr=4U1\ !*EroO.+lh3@hp5ckuqY2FW|R)ALu/ؼiZW=1)ojbi51{rY [ʰWKf0BnѥVd)Тt./{x#qdҶHď}Ȝ#9vdr+.f]cLZF~fף ?ʖ| ͱy^J( 5-NV>zӲSIVs Qd=R'FșNU5$lɀ)2|@6}41OϹVJ~2lE mvU{LER>/꽈 x>-wi{^ ^eA8UlT )<-h=m m (1>fh7|.o b6śѮ)HX;嶣}ݕhcֆ;}Av7鶘} 1>wY:PSGQ_Ҍ*6Éat[7;-xpɋ>+ʨ=p,>T9~` /bTv*Jaȧ[Ե]<TUSVBtI|5(ُ+5JdrGħ1w,6šjRD )}pMgc1e:cThm)9q8Tn C#c`gпdh;P"̕!?J^ |ɾ33l&g9~12rnlMR [h"Rhײ`>NwTI^?^ ;#:iKyGuE} ɥY˛ UM wuA)[ A*܇}{5maqs}@0cgZ4U*SĬ S&ÈcC^De=u< _23|Z4 0g-Bg^X A+QFՄMƯ!phjo8H8b %ޏH'ĥ3n&U%㨰EY"tNaFb_LR(\A,zaj(A5 ߱gYZ42dcc27c658e76bcf2f51198db2291053f2857d50779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73  Trie