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 _ D$ ]/]HOLCF:threads=6elapsed=12.295cpu=39.144gc=2.320factor=3.187zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU![Ys ?!4|cN>_CP]mgk?ǥW$- 4u@/ ~\Ǵ䗖'L?(=>])s|[~ɶ-7Fʫ(c]?LWJ!]e^kJ^UPҖ ih&"Pݡ:oGJH 'B:9#t6M1g=a8Y6 ̙P ,~{=9GWsd3iv&R#P ={|DjvX!D;gYZ7zXZִF! []ŗXiɟ>Ӈɇ9S2]mǦiz^!}pr˓'c;x9uކ0߮'zJJ$ `Ņ ypMݏ XVSr|o z>{K&.h~P7Da$0(^˪3Ol #`#Bj4E)/']r@L[h?gԧD<ڀzi$;Pwyt ΝYP&P $^]t.l|tU!|jݳzb0%9uL>IB[b-MXER#/8?#\,M2jR9_VrLZ얭9^C:2 D8Ė/`qu~}f@{Zoҕ AST |:dg^RiDa&K\ia0C>e݊QZ.Z3lo- kU,[Ƭ&z#Ey4>j`H| DMyL?˥/hI5j,)؟!tB,M٥WZ )\Nig0A[]GɆD[\b>a%$0b'-n_K3&>0 cJgYZ7zXZִF! <]ŗXi%>A,X N8XE :0*|+PX74ߎHa kbO`SW-9jyOsFʌk nHR0m߅Z͸Xiђ |~p3=P=*c)8N etG1?5) ?XQp(H+ddCZ=}W6*nP;ן{ wC/9~|bRHCEL=ٳi!c`E)Iz~nvr-&E$Z^0PF.OVFmT'2B4@qBplzto@pΦ ţObʺfjeZO<⚍4M/N#JVB1ڈs>dxrx9G9esӲ{FnA-< r/ֶ:I KL1gF-!mWD:ue@IGCQScWte?RQ .Fgqs6OFj*2&?`jo8xw.4D0Ug+Wz=J! -<#e7 @4LQBq"><phCb gII`>~|a?̠1^Bp˜m3"!RtEJ ) UYHX~̥s:ՙ&gV蔡>G+.6$j$.dl-sW2%1%?W9Ѫ1[F®C7in.EYÉ)? gJl