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 ==,E\ mS Formula_Derivatives-Examples:threads=2elapsed=62.134cpu=120.400gc=16.012factor=1.947zXZִF! %]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6/'%j[׊pٔ$_CuPc 2cq%<|~k$4M_+Yc >޳-߷-94fx)s%QU Q窄* [:ۭ:Ćjp0` f1$ ^&&<- &ץa7LJܢq>:`鱠k')7B.x90e}-"SS]+֌^"d7]]y}aAE~uNjvG?gHRmD^P%l-7O&r{Q<%(?B\zN OL΅?u+hQð 72m[$l_(]k?X(f{rplff"!oxm:Kr/hgYZ7zXZִF! 9 ]ŗXi%:0we/M+0{6& Z|2o1b3+~=RA TK0 V}e;تؗ @Rcxsɦz^5ԍUZ?[(0I9񷤈AȈ#lI^wMrn wtNl6*vJϞ1-;O_ݦi3cs9;">k3B X0%Y2`?7,&*lqrsw w:THVc5q,e dr#ZK$K@YU$OW*PKnv_**w65IvTl)nK1jdՑiP8N#&N#'%/) S{_C1mcFzm,>$uЬƖCYm<aBrbc6|*W? DYG~* _=Ȣ\lװ1킊ү h Cuo;8_)p+z͇"UvyRslj"9\W:R鎱FD:qnlVU6`cmDɩ|ڢn9b8$vL>a&2Wx4 M.K9izT[%(SM]:,:DB0JTqZF6 d{QΛf-; K$l!ky3rD;wt9Xfᢸ9\9woy(6 r@ԄNE= B;?}+FPDm ^cMB2/U}grf@!<{k~)BFbNL&$ & څwnggVj.>pP rsSШ+f4ǨWGO}3 u+Qv`\-ߧ<;5+A@Bd0Zt H|\u?MަYad">k* &Gv:ծsVdA6w6♋vhz#a$"(Q*h@O/M;Zp ,j T|Y,yv9$!-侚Xbw\he~rUhg:eg0|CًdSig5df-h֝0TC%ݦߺR(1 ߊwDa{G= k,F"ՠe=ۏr 䵿$u!bqьi5X.I앱#F,`8 kDii`ngdk1Zq(7oW]= #)Geh>w K.qI,= ׽cj)Ǒc~\Kv)ܑȟt# ' nQ a6(ѵ*C.)45ߞj>O6|ڥ ӑR麵P"5<NG?V L"l[D^!,>6b}[q7iSeF=ҔF5MDw[I$/Dz%YUTW8tx 2V9y y*AB@F"<34CoҺP{?<ŧ7~hE7?Ot6QXk4^ $aroi&\*f߷v{Ymw&vrl I ^m Xg:6i'AM~_#cM֏0yu;s~7cw]AJTwsps,@QDEaf}^hU"|kF-W̄Q,g}ױk7Z+ըq)lu TVпpNrΣ%%"aF(Vs8Ӕ8>])%Rc5iZDTN_WoB܂1cسfl{+Id=\Gл7&qGӪ8=5YBXPfJ٣8Y6dV)ƾ .^$WF#Ѭ腣T(-Gc#ӉiKGւw8TfCl[zUnϮγwLYT~М+s$}oY9auJ==SZ*Yӈl\3u%?)gÓ"vh"o7*ȝ\SLB}I>f:5WBlD]#YiMi8aY疲r1#dD q1pj \8K< ieBBpZ`u|O_$d9Ul y`2p2PjPUÛ[.a{Oد0+;