SQLite format 3@ . BBh77otableisabelle_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  - -H#Dt\ ]S]HOL-Algebra:threads=6elapsed=26.691cpu=126.576gc=8.304factor=4.747zXZִF! A']ŗXf1-q恈\T,rB I|2C;" FEII핪j*~m5U e-w[SMy杚ωX R/ 3|Z̑Q3ᨩUg|@]%OҊp봔* U%ϰ;n]XAҁF?E`H ]͑KcNbj2٠-Hh 6>YWgUJlc d3¤p͐1{2l W $bsM_CM.!t7s$aCsE*');SYK1ϖgRh%ΓݣY.GeMu"d΃|;*U f(+QC9{7к.$*FP&Hn90/Ofմ`~n:C)ͣPdҡ,/`8kXR8#a 5WI+0%+GAS"J לsOPSu4̠BMLo'ئWa_@4Ҧ;b iıca")/Mn~Yd2s?뀜'QF߼ # HOL-Algebra*<>H ۮM˗~62WޮOgLKH_uCd&0~'gǓa)Co5!Wn :bE}uBO-OS(>wS](\+?5[Ac ~L6(,8OU_?'EgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8p(-L3kzȩSߩЂyghkmcECN#_($G4{Ww'g|aB.b?NiD. [sRĐ?WS|pK$?Iѥ~׽0,q!|a%!s;+뺘l : '8VLs/~TZ 9RMC\I~#׳yN#*9$C1p;q7qM-Ncd.#zG&KSA >ks|͵WkoiEKCa\a`"%i;;2𬚆*_efGڢ3YdlWnX$^!8rQk,|=6p.5H0$ 4,e5";B+ԅED:!=HƨdH_s$F#Rkg;!4 8rgYZ7zXZִF! {k ]ŗXi%96Ή-jt]fM.8*p9ה ,mlѕ|(]B3|~\16GJHI(s߀m<|uёuz.wzO}U$S}ݒO %NX >=iiOn)Ɛx_~"~T.ޯvĥpO? KԈx&ØwҝoD;wҎۀ[ p[Z2H*<5ܾx_(b=V`8ipNܔ-ja;;81pCO-q@Kst6kF1՛tlKѲ\PW m: X \(gjSl>a-ckͯͯ6AWެ?Г푮QYA+J*óh&]WӺK)nn5e"[/bb ItYL;{׭|)YWr[]oBfc *hp4^F4X'U`~9@Ԝ6QC6P?G<̞CD| i{=D0KݧEBx_e*GbLWj @,QU۶)ԓ4JtK=,e cM&+uo@vmzo>J|߅@GU,:D?$V}0 쀌ov窩\GNOǓG!- L[ Ŝgju<9!eɡJb,#TGڶnVҠԖ|t-Г()m_"SEc WļM}≀k.# P IttRƥȪ %i^+2 ʫ%u@Wk>-m"Evhv+_Cao<"h;ˤD7b Z!6jd|Oᰏ#FÓ(՗VIZ1jAShɑM|S|$雄Q"j0HW%d}+w%h @6HFMS;58F AI \S?HP3wŬ3wxG DtW[ YՆtʑrFA`;vT8~͆2'D~뵕*G< |^0v`/1^Tl]9Z\ְҾ- u5;Q.~m_;CCa~cA0Iu2;r:}'ի$`+1"ʼoC͠ev (,w\8)+IG5^b?ڕ^ȩm(WH l+_cpnOnMuWj|2ۨ-Rд& w^9ZJNJ2PM~eh*+X=dw|MݴlJJ5ѵ{OukQy(t̊g-Wᬔ@ :wɻRFar.JjV=!,S\7e-=\X[o9Fukij_ YP +$4|0J|.՜^0O]oSz~ҕcd6*3`A-ƌ8U/$7H!%t: ʷ, baފ2nVjoX]ة !nVնhwAwR0֛&4Bb3yAi;93_׳L9i; H+ǰ6.r>v>!_X's8ubb~cj4 L "G !r85eOXҸ[ Bbx@ Nڥ^[\hTzPqTg ]үȊd2Q"ڋIBZ4R e; ֭};'X:tߘ%x+;ɾ=aj'SQ)AII<BWH?B 8TMFI,ed gm?^[u/`v03ߌD#e c̳ z37<hZnt-YI佉$Ϯt]V= &Dmk5 "[FΌgYZ0eb23bf716f93a02490a7a916f91b2593d32bbd2f4b2c6d5d738b06d204b6be11a7ab87828edefc9 e7adafd6063385647279f71f3a5428735a09a9dc 8026c178025208535b6c657df78d958706faa79c 63418730c86bdc54d894346b9d13b01b51f43f8c4310511e19e90b8e8cf27513f45b4418d7ae1f93