SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 336+ t ]Landau_Analysis:threads=2elapsed=13.621cpu=26.372gc=1.528factor=1.947zXZִF! } 1]ŗXf1-q恈͐7ӺV lt>;ecm| 7;)h I6\L + Landau_AnalysisFAULxTLd澖l}Sz@OaϟwwG euq1Nc>؆J46~*~9V׹խ(hBejiCaѣwE@کY82E:l Sτ\)S0 ̨AXf=&DP(2Aqc< 9P'#E\T+X$m̈́K$;)ۿ |u̳{Kw-4@e %[Crc%!qm>|T`U b9N9+A3d˷M*o8 9i.&E<+b`֊DVuɃRqH&ҨbFJ۹R9>"/9+\MA=ƩK+v1q'0 K[jS7 [l5GxCdPQHb+s8[V]dM8C}ɮ ?:oધM^VxjW!ss$tvZPJ#nI(a\"nY Serv?B.TP.^ &cG7G}5ÿZ%GcB0I@V$Gbjdݨ hmZ̻LdO'B?FZ/#錦ܒuPhNA+)y%¢K\TEɾ Uܟnv΃~ɟG1"Dп/z:jg5MF 8xkz{dt<kZ V""z2m0*ވxh/4vJܭw*{t雾+sƏ<̘S[8-R/p8&9J :n"!7FD37"1aQp]G __/q/VPԶE~w݌UYj9v[җyi:HSePHp ;,,*6q@ٗItN;gf1 c8ˮZuo.k=Cꎓqe WTZvFęw%v/lfi; ǛtS eV(T,-p5BrG\7h{Ha˂B@RJrɞ&_eya319g I &^b7|//[@&E]xT/3FJԳ)-ۀb >H(oVɬcl9 pU⺡0=dݺ8zN$=`7rE3 3Q ^Rwꇿ1|:{cn? u˟$ª*ʕz;}`fOpC5 L2m!7P(~at;6t·L JMh&匞AbÛ_Ǭi$A[ phJ5Ip(GDBR謐 )׫˲fe$24I6Vয়7Na)oXs<%f:DzӖ1Vgh bHTﺬu)q;},|f%Ζc/Yӽ,˖pU,C/JNFC5nVWhSo'Z[ (#(t~bxs}CqJ`x~mA1bMTe7Ʋš$}-<ҸNV0V=!ͫJCEE+Pǹ1 *&sW_6|&tR7+pR,G).~/J@pFZGuIXƈI;c]Ra )kElX!ZFR#g-r:p P:]zra'In}J2-\MeC,*$28)7d47Z1q<\YtR :.p:QR|k)/`|I p˚$Àd\mFEĚ} /nZ"h Yۄ楎<:р"-Ⱥ2krQ\îA+bfp<gL<ܽQTbSί$PآW/$dQjE+8Jhl Ҡ~WoZgYZ00397a27b716a17d9a023df60549d6646efe8e97 02b46a88fb3755427c4e37e0dfc37f84ec4a24d9 06836e075e09e46f8eb9eafafa5f472179d4079e 11884ff9ee264f5dc04f7c91fc7ff903f3275aba 4c7e394dbc3513322bcdd16f9e7366b8cf75b2d1 55ebdef92c7d5e4d5ffcfb0cbc0db21a00f70a38 5ae3843a3ed59ab2457ecff50bd3bef97837615b 5fd67474860cc00175ce6967175273e563c61549 99a1022f7c5e258726c42743163c68599db87e23 a9d5ad43ec6f86c94c776f5fec4964604cea28d3 e1e95447f60e6fa9698fc2dc2d3f9a6dee397c163b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd e96a53ecfba8c901425ebc6abaf9d1ab1381c1f696bf0ce87423557dcbd28d8e61d4356f95ac4627