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 v T ]% Fermat3_4:threads=2elapsed=16.956cpu=30.956gc=0.820factor=1.837zXZִF! )]ŗXf1-/6vRZ9Es˒<=JT!*pШ36GȋtMW%]pl!]V)~%!4@D*auF{xrfڛp f $s 1)Ny w9'rZn:HLPMCXChQ:ێfkV2\2Wƺm [+}4y% cNɗ/ޏRׅ' TYWxɣ+~3L,vR !utC;UJ&P#V밺B]ZMVI 7c12̑k'ۀ7f"aEUFGfG&45q EE(X0xFIF:cT'ŰdfŚSU|?Tmgf"_ xm1`#.IđT!z˜R%T 8I$żQR0MU DQ[) dD~O'9Dx0vb(~bƔV(gYZ7zXZִF! b]ŗXiɟL׎̈́>>^6:Q]҅c%o ʰ` e @ SG.X4qֈ"geJo_`ZGF~6gYZ7zXZִF! `h]ŗXi%;уuDDĀԳ¨'_Ձ -+JPViW{W` EAkHJ卼[>+xﱰ#w,{N+ ˺: ˀwZIGT->8 ui<$L$qmY,]2 7Q'lH_7W-LL_v8q^<<2r^ȩ {픋}Dٞ'rLu5V"Z:||x twq MEs=ZRDzA7ļ dCoh\  Z:|∀5RkZlFCB$cjkU\.$ű{MS ^ҿܭD DV& BXu G=p߷3 R_Md=% @W][Z0}wTf^UQڟf48 CS/H+S;{',('F&%J!z@>6v`s&|XdAZ*L1{}B Au.8&J\푛;I0y aw\)a"! 3v، 'olIYHeE`m=O{JN}t;:̟ vZ,5x b/cGx;ey P{m۝C?_ q6SpNwD)lW1x&q;"Jb0uNލӽ--BPp{ϷBԗBZMquʨ-9T!aBXΈ !-RE ]e~P4ˎKmY:<[d-* DSZ$,Pg D> WA.2Q{butqP1Jm\\0nV-BF:|IEͦ_/<7Pp\y㨈QƓg_"so , F%msh^֝wlӨmR"٠c[%$%C[3 ]tdԤ?/b ͔}g) -(IȶDuY j⫂¬^uS y2!, '"[*G֍Sf䛄@0V)]QҗJJ㺮7"Zy,M&r_Ltj9G_8n1r;z@df*piBbN70 Z&iJ UOWy}u ~,aⴔް1eڜ!eGcjQaX:$9FTk !h'P8EvDqBPX I6gYZ6374d167971c25b85e0e4bd79659d5e9a22b585079d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 8d5164e5d73c9776ac23d9ac7921c2466aa7b653 3a16197574a1abf80e2bf5199910e56ce04e17b6   Fermat3_4