SQLite format 3@ .0:  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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info BB; t<| ]/]HOLCF:threads=6elapsed=12.811cpu=41.268gc=2.848factor=3.227zXZִF! <q]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Sx?=9!=d R3f~Vd0FY}Sx2`bͤY5Khg:J3 #,oT=5ri9l~\Y\7jV6x YDܑ9&AwKTLom*Pyؾx^pA8_=/هOk?5($z^sէB,%K0eЭ}AC=Bd2p G4lԘ? 7,<RY O¶M=kݠJ W;Dbv-.8+If؝y`&$ADQ̅SQ3 W07c͔ҍ|2kf'y{QKR\ M|1Ew "lN=jY?͋%NUCt-s1cPS+[}JAW< \DMjC' lmv )ȶӾ겙CW4_%7嬓3765[pBEHSgYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]h( /% ~&BX vQ=uKQK,:gf9Q*/^nVI@?$SxsAfIXr[Ӛ\5aZKԲ1:%9 }["*.<4r#W۾t/']{U]G6 07 "+KEY'.!t/R{`?V 8_];LvT: [rpQ)!,kڒ?_ZP+m٧EnDz*0Tn2*Y 0C6, beYBU)6m t+Rgbn\2y{g8n_WF{(,P7wv.|ƙ:i-; bz˃ݴ,k`rFYE;z/C4)Q.sNʈznWP=fe+x6+[Ti";giR!@Kb+.ZN! Si@̲-WSC'e7`ZUD(+B#T5B^;Kb# u/d V~2(~nG3G# < ϑJYgYZ411d515c6f578e380caa16484cbc881c9b237f1dcac5d03352e376834a77ac05dd893fd2179d2522 021e215213850104e25ab568a4ae9421ef7050422ae00d334ab42ae36003eb888c48beacc7a78666  HOLCF