SQLite format 3@ . YYQ77Atableisabelle_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, "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 =- \4 ] Lambda_Free_RPOs:threads=2elapsed=19.540cpu=35.576gc=1.456factor=1.827zXZִF! ]ŗXf1-q恈<-¡$johkX2I)􈕒VM 8j܀+qRUmF: ɰ9yf7pR:HgC qU߷'b]FfsЊ36CBYv>*>,.}L4lN. cd.o_XK$!]tT%/g/eS~_I!Q%` '1Bܝ{&S˷d' Cn A 9xٵTPA~ym)bQRB[j#)z&JN,ԓݫR\Δ@oB }.:Lw#b2Go˧>ҵ|d ?e-c\kG olr%vP4;{)\3WܻO3p_?:~խ ky6 Ҧ+Z(:>A[K,Df]s(! hRYfqㄷNp7J<{@h.s19Pve;O{ =^!~.knMϕZ#W' KX(.gYZ7zXZִF! i]ŗXi%6qҍ:P g 1N-\2 Ǟa斄 7"\FIhEp5k;0&L=Nk$6?sV[l]WՊ. ,bE~vxZg;#˄T3V+. yJ6gG6ݑa!.K=Q|\CIan&~|Ul٨GYbfs=rb?̵8Ze}j,R?g5Z탍]]9a-hEPl ` pUKmakD1X}@Kh`jr%b?XSQ-B fV'6qa@((wfhpO,2Txc~N$D)}թ"ArIݖcLvW*x0ߔz%iyjAyp0{yaZXPDFXQ? Ѱ4 MG[Y΀%#pȺ`\A#͸EB8λgnd`oyR6TWʲ&]it՞XU}:؈Od%#^v 0ðO1X{zs="f!] Rn9Ign\6Feӓ\gQ€;d-jL͠5eu'}}P6R;6 BN?46xXލf  *x=pW)?1jw :x׏Xg+Ai XPjfrzA2>0S ,ɫLjBh7\ƞk,I YDu&YK,l8BE@]&~b:=GkB >F!agYZ63098d28cc31e2bed655a4f6369c1bc31fd8d3561e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 - Lambda_Free_RPOs