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 - |T< ]S]Relation_Algebra:threads=2elapsed=25.451cpu=48.884gc=2.584factor=1.927zXZִF! ]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`YK'$yȊDSskq8p7ٌ g1'X?.d49s-O> 9&X]&At3Jk g9[WzS/`M, *G~4tLÁo;'U6wqΡqDf~4͢=ֈuА3t5u# w4u9WOSbs0׵v@ZͲ8^ŝO(jMWӏwhHnIPV TSQ(LFfxZw+HYi!!Tg}]q PO}u@W{ӯFwNEWKQ^GS95ĩesPtp5-oj"H"bY&v >U`q=t]6VDjo!"޸J>ZE RB4y=`k*JA/#%϶}Lƽ@= ċ= ⱮgYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%yƧrFיd^DIfT7%apCz.3^/[1Lnju2?]'"́s˧,#zLkN^yN8IǛQ]}N^ZG>A v6\+2gI奋;)lg>ɽվGUMT=t;gYZ7zXZִF! ]ŗXi%;2G/8`N)@|eP1jF%\Ŗ4jV10wufTD<"Y(x8haV'1| d`r*}I#i;#w k,r46D$]3E8i?GMptYZZx3pl2)Ye1p|=oAL4.״ Yk+&`L]{#Gt\w$vo}:`mlk9ő~m'`wM\vjThNd7e36JН;|Za}ȳ_]&?K?J%A'xH,Il\Þ~iki"@5aP c}r^:(|V俜iWxA\#JgԷqUHۿ}a񒗽Q]Z4d ӹqj"Za:}D]i,=8n?ް^ԝojV%-ų$1Y`I ;Ss:D,\Odb`ىDBNIHl@jz؇bu?越FgɇL"5d,]__:A %H4IKrɄqƧJsø|]ἅϹuOK!1jor~R,lA oϓ]O6Tb܇=f3"k,[i,2LȱM,G f}z(t=ŵXo_?寃P:E(9K7L& >21c,@^K.I8e!0\稗:JYe"09"& w[7H8Õjj-б]ch~| ]aTwB[z4bRS& 53{r6[ %S̵Ksݣjg_?=Y;$?1IY;R,< TmaEUGPE1=b=thE4e7zy,AjOQk'ɔ~լ|L*$yzeӨ2:GXQ2) %oGzCB3W>ZpӤ[i0#,o߀- n(T=.#!VX:Co9)˨]>gU-g=(ěxNJtexvcd/ʍ  +l$ZyH e?霬7\L9\篂Tʣ-0n%B jOp#.l#ĥ(N?r4QZNd[OF4idGgUA/`U(=vKb?d \tNژ oM˟J=40M˳r.aUعKg-ٛh _HCdX:"-1]4! (~'oZ'ְc.6(GJ7Swkx:[@sG-@)xs;L+L%hMgvΐ\KzvpCH,ت#1KuBa\M=Ѩ`z2_;{99sf߯L?JU~F&jW*IX) Q{Hj-QFeW90ߔ,[_qQ_)[>G ʃ৽\b4hFB yQF-6Ԯ@|NHPzo*L⊥YQU#mқ*a6gYZ819bd27cc0f6b262fcf9a311a6f7389c757c731919483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf fe66c2c36135e85ba51db5f3041b01702c8e4117 67d9cf05d4a0db88d11cefb6fe7f90d2f68e5f48513098840ff54f45308c1fb6542f6729d3024964 - Relation_Algebra