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 d+ t ?%]Landau_Analysis:threads=2elapsed=14.180cpu=26.980gc=1.472factor=1.907zXZִF! 3]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;:͇BA)B@Z݀D1u/bc؀UЂ`А*͌p E]HYkV8En=2uX0bs#CSBQڮ<7[hrz_2CI7%E Z 32xj3A f3hJs73Z-@2U_\_\ruV00Fks(1}~%䜭9q.j3TGͿPN©(t2 8x(@m(-] 4'zEu*m}:o()k W}HZ{$JqAx!Њ G1 Y^zt=pͱEL2s.߰)#G?+Gonk2P?ht;\haKs'g^*Ⱦ2!$߱gYZ7zXZִF! AC]ŗXi%6SHUy`j5Վ@ø܋. |QQ23 hXBLbc&1yE{xY%bAջT? ONعY9'-!t}.8u;W#M/d2cg9qaN0*<M5rc 5mځ΂3Eج+4 >*`͖5f=TkMQ2P mH2ǵԮSq9<cxl+A3ϜXu06ڌOfo*{{qieQIB܁KT%-gW2ﭙW~0 n(GG+9(FUb`"Id@gIxEt?ЙYf+(-xx b^|Zne*\uNyWEha sІhVC߉3% +Ng@KǺCF#i.]IwB©a"MX=H. $?>"ã׍Duc#W8cgWa'|׬NFSb4vaܫFulee>u'T0u,O o~] p>g?*/;bPCD]>ܘlv"LK/an HEclRQ7̺f5ͦg{x$veZ|p9`0o~a\=wFV˴lڴrf*4a<#L:F r R= U